grufarbetare , var genom grufbolagens försorg olycksfallsförsäkrad för 1,000 kr.