grufbolag försäkrat sina grufarbetare genom kollektivförsäkring.