gruf bolags arbetare äro nu olycksfallsförsäkrade.