Title: Gases, Dust and Heat in Mines