tjenstledighet från 5 juni till senare hälften af augusti.