Grubengebäude
unterirdischer Teil eines Bergwerks / aus Wikipedia, der freien encyclopedia
Als Grubengebäude[1], auch Berggebäude[2] oder einfach nur Gebäude[1], bezeichnet man im Bergbau[3] die Gesamtheit aller planmäßig zusammenhängenden unterirdischen Hohlräume (Grubenbaue) eines Bergwerks.[4] Früher bezeichnete man auch die dem Bergwerksbetrieb dienenden übertägigen Gebäude eines Bergwerks als Grubengebäude.[5]