Stenches for emergency warnings in metal mines; by D. Harrington and J. H. East, Jr.