af allmän tjenst och 11,850 kr.