— Kiel ben 12 Juli.