Duden ‒ Das große Wörterbuch der deutschen Sprache
Grubenholz
Gru|ben|holz, das (Bergbau):zum Ausbauen, Abstützen o. Ä. der Stollen in einem Bergwerk bestimmtes oder dazu verwendetes Holz.
Sie können einen Link zu dem Wort setzen

Ansicht: Grubenholz