Minöfningnr i Kiels hamn.