HAMBURG den 1 Julikl.