Bergwerk

Bergwerk, die Gesamtheit aller Anlagen unter und über Tage eines im Untertagebau arbeitenden Bergbaubetriebes, die dem Aufsuchen, Gewinnen, Fördern und Aufbereiten von Erz, Kohle, Salz u. a. mineralischen Rohstoffen dienen. (Bergbau)