Der Vorgänger war das Porsche 919 Getriebe, das aber nie in Serie ging, weil gar zu ruppig war.
Aber stimmt, auch bei hochmotorisieren Autos findet man Doppelkupplungsgetriebe.
Die heißen dann "Speedshift" etc. so wie im Mc.Laren.
Zum Thema "Speedshift" habe ich
da was gefunden.