nedsättning till 6,000 rdr , hälften lön och hälften tjenstgöringspenningar.