[1771] Die Eisengrube, plur. die -n, ein Ort, wo Eisenerz oder Eisenstein gegraben wird, besonders wenn solches über der Erde geschiehet.
Pierer-1857: Eisengrube