emellertid dessa sorgliga underrättelser förnummits förr än 6,000 arbetare vid ett engelskt grufdistrikt nedlägga arbetet.