innevarande Juli månads slut ; tjenstf.