10.000 kr. , dels att tjenstgöringspenningarna för hofrättsråd och assessorer i samtliga hofrätterna fastställas till2,000