måtte vid afskedstagandet få uppbära en årlig pension af 4,800 kr.