tjänstledighet och afgår 1 november med pension.