Quality of mine air : dust content and cooling power. (Transvaal Chamber of Mines, 1947)