Berlin den 1 jnli.