"Grubenbau ist ein Oberbegriff für alle durch bergmännische Arbeiten geschaffenen Hohlräume. Grubenbaue, die annähernd in einer horizontalen Ebene liegen, werden unter dem Begriff Sohle zusammengefasst. Grubenbaue ...
[Mehr lesen]
bezeichnet man auch als bergmännische Baue." - (de.wikipedia.org 14.07.2021)