Juli war , enligt den officiella uppgiften,