— Kiel ben 4 Juli.