Grubenholz

Grubenholz ist das Holz, das in einem Bergwerk verwendet wird.^[1] Definiert wird der Begriff Grubenholz durch den Verwendungszweck, somit werden alle Holzarten und Holzformen zum Grubenholz gezählt, die in bergbaulichen Betrieben, gleich ob im Tagebau oder im Untertagebau, verwendet werden.^[2]

1. ↑ Referenzfehler: Ungültiges <ref>-Tag; kein Text angegeben für Einzelnachweis mit dem Namen Quelle 1.
2. ↑ Referenzfehler: Ungültiges <ref>-Tag; kein Text angegeben für Einzelnachweis mit dem Namen Quelle 6.