icke hade skjutit , skulle grufvan hafva förstörts och mångå menniskolif gått förlorade.