Grubengas, eine allgemeine Bezeichnung für das in Bergwerken vorkommende leichte Kohlenwasserstoffgas, welches vielfach in Kohlengruben durch Einwirkung von Wasser auf den Kohlenstoff der Kohlen, besonders der…
Brockhaus’ Conversations-Lexikon. Allgemeine deutsche Real-Encyklopädie13. Aufl., Leipzig: Brockhaus 1882–1887 · Bd. 8, S. 549