tjensteman egde att såsom tjenstgöringspenDingar särskildt uppbära 1,000 kr.