The New International Encyclopædia/Mine Gas

