"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 bezeichnet man auch als bergmännische Baue." - (de.wikipedia.org 14.07.2021)
de
