Kiel den 19 Juli.