Deutsche Marine sucht Ersatz für Disketten