tjenstgöringspenningar ; för Öfrige tjenstemän 3,000 kr. , hvaraf 1,200 kr.