såsom tjenstgöriugspenningar och 15,800 kr.