Kiel. Bereits im Februar hatte ein großes Containerschiff das Tor schwer gerammt. Die Reparatur ist erst seit wenigen Tagen beendet.