för företagande af en utländsk resa beviljats tjenstledighet från den 24 juni till slutet af juli månad.