[605] Gräberei, die einfachste Art des bergmännischen Tagebaues (s. Tag) namentlich zur Gewinnung der an oder unmittelbar unter der Oberfläche vorkommenden Mineralien, z.B. Torf und Raseneisenstein.
Treptow.
Meyers-1905: Gräberei
Pierer-1857: Gräberei