tjenstledighet från den 1 Juni till midten af Augusti.