af allmän tjenstebefattning till li 800 kr.