[438] Grubengas, s. Methan.
Brockhaus-1911: Grubengas
Herder-1854: Grubengas
Lueger-1904: Grubengas
Pierer-1857: Grubengas