HAMBURG den 16:de Julikl.