MINI F56, F57, JCW, usw - Wie viele Karosserie und Modell Varianten wird es geben?