Wie viel kostet der neue Mini?