"Als Bergwerk werden alle über- und untertägigen Betriebseinrichtungen und -anlagen an einem Standort zur Gewinnung, Förderung und Aufbereitung von Bodenschätzen bezeichnet. Bergwerke werden auch Grube oder Zeche genannt.
Zu einem Bergwerk zählen alle Bauwerke, Anlagen und Einrichtungen über Tage, die der Förderung, Aufbereitung, Lagerung und Verladung von Rohstoffen und Bergematerial dienen, sowie Anlagen und Einrichtungen zur Verwaltung und für die Mitarbeiter. Zudem gehören zu einem Bergwerk alle zugehörigen untertägigen Anlagen und Einrichtungen, insbesondere alle Schächte, Strecken und Stollen, die als Grubenbau bezeichnet werden." - (de.wikipedia.org 22.12.2020)
de
