Duitse machinebouwers zien totale export licht stijgen, China neemt titel ‘exportkampioen’ over van Duitsers.