HAMBURG den 3 jnli.