HAMBURG den 3 Julikl.