Tysklands export af maskiner,