HAMBURG den 14:de Julikl.