Translation of "Werksmitarbeiter" in English