HAMBURG den 31 Julikl.