Kiel. Bei der Suche nach Geisternetzen in der Ostsee hatten Taucher die Codemaschine der Nazis entdeckt. Nun wird das Fundstück restauriert.