Grubenbau

Die Bezeichnung Grubenbau,^[1] auch einfach nur Bau genannt,^[2] ist ein Oberbegriff für alle durch bergmännische Arbeiten geschaffenen Hohlräume.^[3] Grubenbaue, die annähernd in einer horizontalen Ebene liegen, werden unter dem Begriff Sohle zusammengefasst.^[1] Grubenbaue bezeichnet man auch als bergmännische Baue.^[4]

1. ↑ ^{a b} Referenzfehler: Ungültiges <ref>-Tag; kein Text angegeben für Einzelnachweis mit dem Namen Quelle 0.
2. ↑ Referenzfehler: Ungültiges <ref>-Tag; kein Text angegeben für Einzelnachweis mit dem Namen Quelle 10.
3. ↑ Referenzfehler: Ungültiges <ref>-Tag; kein Text angegeben für Einzelnachweis mit dem Namen Quelle 8.
4. ↑ Referenzfehler: Ungültiges <ref>-Tag; kein Text angegeben für Einzelnachweis mit dem Namen Quelle 1.