Stichwörter: Grubengebäude
Gesamtheit aller untertägigen Grubenbaue (offene Strecken und Schächte) eines Bergwerks.
Quelle: Aus: Hefte zur Bayerischen Geschichte und Kultur 3/86
Aus: Eisenerzbergbau und Eisenverhüttung