borde derför , i likhet med hvad nyss egt rum för justitiekanslern , fördelas i lön 6000 kronor och tjenstgöringspenningar 2000 kr.