kr. , antogs att tillämpas frän 1880 ; chefens tjenstgöringspenningar faststäldes till 2,000 kr.