Die Jagd nach dem Roten Oktober ist endlich vorbei.