HAMBURG den 10 Julikl.