HAMBURG den 19 Julikl.