Eintrag · 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 eine der dortigen grubenbauten als director geleitet hatte Peschel völkerk. 460; im bilde: die ganze wölbung war nur die gröszere eisgrube des todes, ein grubenbau der vergangenheit Jean Paul 24/26, 180; vgl. 15/18, 109;