(Korrektur: Deutscher Maschinenbau-Preis 2015 für Gerhard Sturm und Dr. Manfred Wittenstein / Falscher Firmenname im zweiten Absatz)