[1770] Das Eisenbêrgwêrk, des -es, plur. die -e, ein Bergwerk, in welchem Eisenstein gegraben wird.
Pierer-1857: Eisenbergwerk