tjenstledighet under juli månad.