[818] Hohofen (Hochofen), s. Eisenerzeugung.
Herder-1854: Hohöfen
Lueger-1904: Hohofen
Meyers-1905: Hohofen
Pierer-1857: Hohofen