Bergwerk
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 wie z. B. die Schichtenkontrolle 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. Im weiteren Sinne gehören auch Grabungen „über Tage“ (Tagebau) und Tiefbohrungen dazu.