[Achtung: Schreibweise von 1811] 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... Gefunden auf https://lexika.digitale-sammlungen.de/adelung/lemma/bsb00009132_2_3_3297
[Achtung: Schreibweise von 1811] 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...