Die Grubenkohle
Die Grubenkohle,
[
823-824] 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.
