tjenstemannen skulle nfst&tt sina tjenstgöringspenningar och 2 kr.