Translation of "Torrichter" in English