Translation of "Betriebsfachmann" in English