tjenstledighet under juni , juli och augusti månader för företagande af en utländsk resa.