Translation of "Hüttenmeister" in German