MINI demnächst mit 7-Gang Doppelkupplungsgetriebe?