Grube: die Gruben sind Standorte, wo in der Erde enthaltene oder an der Erdoberfläche vorzufindende mineralische oder fossile Rohstoffvorkommen gewonnen werden, die bekanntlich in Gängen, Schichten oder Anhäufungen Gold, Silber, Platin, Quecksilber, Blei, Eisen in Erzgängen oder Schichten, Kupfer, Zinn, Zunder, Wismut, Kobalt, Arsen, Mangan, Antimon, Molybdän, Plumbagin oder andere metallische Grundstoffe, sowie deren Salze und Oxide, Schwefel, Erd- oder Steinkohle, fossiles Holz, Bitumen, Alaun enthalten;
Mijn : mijnen zijn exploitatiesites voor de afzetting van minerale of fossiele ondergrondse of bovengrondse stoffen bekend omdat ze de volgende stoffen in de vorm van aders, lagen of ertslichamen bevatten : goud, zilver, platina, kwik, lood, in gangen, lagen, hopen; ijzer in gangen of lagen; koper, tin, zink, kalamijn, bismut, kobalt, arseen, mangaan, antimonium, molybdeen, grafiet of andere metalen stoffen alsmede hun zouden en oxide, zwavel, steenkool, fossiel hout, asfalt, aluin;
