tjenstledighet under sommarmånaderna för företagandet af en utländsk resa.