Det allmänna genom riksförsäkringsanstalten hade alltså regressrätt när arbetsgivaren hade tecknat försäkringen hos anstalten .