till juli månads slut utgjorde nemligen: