[823] Die Grubenkohle, plur. die -n, Holzkohlen, welche aus kleinem Holze und Reisig in Gruben, nicht aber in Meilern, gebrennet werden, und auch Ästkohlen, Reiserkohlen, Spankohlen, Kleinkohlen heißen. Daher der Grubenköhler, des -s, plur. ut nom. sing. ein Köhler, welcher solche Kohlen brennet.