såsom tjenstgöringspenningar för provinsialläkare ; 12 900 kr.