ARD-Börse: Doch kein deutsches Intel-Werk?