Translation of "Werkzeugmachermeister" in English