Rauheisen


Rauheisen

Rauheisen, das aus dem Hohofen abgestochene u. weiter nicht bearbeitete Eisen.


Pierer's Lexicon. 1857–1865.