HAMBURG den 5 Julikl.