Deutschland bleibt Nr. 1 auf den Exportmärkten für Maschinen