HAMBURG den 4 Julikl.