HAMBURG den 8 Julikl.