Translation of "Betriebsmechaniker" in English