Samtlige grufarbetare äro olycksfallsförsäkrade.