Samtliga grufarbetare äro olycksfallsförsäkrade.