PDK {Porsche Doppelkupplungsgetriebe}, abbr.