Samsung baut für 17 Milliarden Dollar Chipfabrik in Texas