tjenstledighet till den 1 nästkommande Oktober för företagande af en utlandst resa.