HAMBURG den 13 Julikl.