har utgått i pensioner ett belopp af 35,136 kr.