Deutschland weltweit drittgrößter Maschinenproduzent