af allmän tjenst , höjdes till 6,124 kr.