Was ist Altbergbau?

Was ist Altbergbau?
Das Wort Altbergbau ist bis heute so wenig geläufig, dass es nicht einmal im Duden zu finden ist.

Für und durch den untertägigen Abbau von Kohle, Erzen und anderen Mineralien werden unterirdische Hohlräume (Grubenbaue) geschaffen. Mit Ende bzw. Stilllegung der Abbautätigkeiten werden die Grubenbaue aufgegeben und häufig einfach nur sich selbst überlassen. Die Gesamtheit der bergbaulich nicht mehr genutzten Grubenbaue heißt Altbergbau. Der heute betriebene Bergbau ist somit der Altbergbau von morgen.