af allmän tjenst och 4,100 kr.