allmän tjenst eller pension kr.