tjänstledighet under juli månad.