juli månads slut äro " / , » million mera än under samma tid i fjol.