HAMBURG den 17 Julikl.