af allmän tjenst höjdt från 5,675 till 8,642 kr.