[583]Eisenbergwerk (Eisengruben), Gruben, in denen bes. Eisenerze gewonnen werden; je nachdem das Eisen einbricht, sind es Eisensteinlager, Eisenerzstöcke, Eisensteingänge, die bergmännisch abgebaut werden.
Quelle:
Pierer's Universal-Lexikon, Band 5. Altenburg 1858, S. 583.