HAMBURG den 30 Julikl.