tjenstledighet från den 15 innevarande juli till instundande augusti månads slut.