English:  1 mine gas (see also firedamp)
Italian: gas di miniera, grisù