vid afskedstagandet en pension af 3,100 kr.