[1253] Der Hoheofen, 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.