Rauheisen, das aus dem Hohofen abgestochene u. weiter nicht bearbeitete Eisen.
Pierer's Lexicon. 1857–1865.
