HAMBURG den 9 jnli.