[822] Das Grubenholz, des -es, plur. inus. dasjenige Holz, welches zum Behuf des Grubenbaues nöthig ist. S. Holzkur.