Der Hoheofen
Der Hoheofen,
[
1253-1254] des Hohenofens, dem Hohenofen,
plur. die Hohenöfen, eine nur im Hüttenbaue für der hohe Ofen übliche
Zusammensetzung, nach dem Muster der Wörter Hohelied, Hohepriester. Daher der
Hoheofenarbeiter oder Hoheöfener, der an einem hohen Ofen arbeitet, und
worunter der Hoheofenmeister der vornehmste ist.
