arbetare obligatorisk olycksfallsförsäkring i en riksförsäkringsanstalt.