och aktuarien skulle bekomma i lön 1,800 kr , tjenstgöringspenningar 1,200 kr.