Seol mar théacs é seo: Control of harmful dust in coal mines.