— KIEL den 20 jnli.