olycksfallsförsäkring i en riksförsäkringsanstaft.