fire-quenching method

…broken off (spalled) by so-called fire quenching, a method involving heating the rock with fire and suddenly cooling it by dousing with water. Ventilation methods were primitive, often limited to waving a canvas at the mouth of the shaft, and most tunnels claimed the lives of hundreds or even thousands…