Translation of "Werksmeister" in English