Berlin den 7 jnli.