Hauptquelle · Grimm (DWB, 1854–1961)
grubenbau
-bau , die summe der arbeiten in der grube, im gegensatz zum hüttenbau Krünitz 20, 153 ; ' fast gleichbedeutend mit bergbau' Motthes baulex. 2, 532 ; er war ja blosz gekommen .. wegen des neuen grubenbaues, die sachen einzurichten Gottsched dtsche schaub. 6, 86 ; verordnung .. den grubenbau zu sistiren Göthe IV 18, 69 W.; auch concret: ' jede durch den bergbaubetrieb entstandene ... unterirdische gebirgsöffnung ' Scheuchenstuel 109 ; eine .. beschreibung des grubenbaues wird .. durch einen risz erläutert allg. dtsche bibl. 2, 2, 167; in alten grubenbauen Oken allg. naturgesch. 1, 247 : der ein…