HAMBURG den 17 jnli.