Was ist das Grubengebäude?
Hohlräume innerhalb eines Bergwerkes.
die Gesamtheit aller unterirdischen Hohlräume eines Bergwerks
die gesamten unterirdischen Hohlräume eines Bergwerks, die planmäßig zusammenhängend errichtet wurden