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.
http://www.zeno.org/Adelung-1793. 1793–1801.
Kleinkohle, die — Die Kleinkohle, plur. die n, S. Grubenkohle … Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart
Reiserkohle, die — Die Reiserkohle, plur. die n, S. Grubenkohle … Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart
Spankohle, die — Die Spankohle, S. Grubenkohle … Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart
Steinkohle — (Schwarzkohle, gr. Lithanthrax, engl. Coal, Pit coal [spr. Pittkohl, d.i. Grubenkohle], franz. Houille [spr. Huillj]). I. Eigenschaften: derbe Massen, blätterig, schieferig, dicht, faserig od. erdig, bildet mehr od. weniger mächtige Lagen u.… … Pierer's Universal-Lexikon
Stütztenderlokomotive — SB 610 VSB Eb 2/5 … Deutsch Wikipedia
