Naja, hier und da gibts schon nochmal kleine Übersetzungsfehler (bei meinem Mix 2 vor nem Update xx Minuten links statt verbleibend, da hat man Left zu wörtlich genommen), aber ansonsten ist es schon fast perfekt mit dem Deutsch, nicht zuletzt dank Xiaomi.eu und der deutschen Community.
Und letztes Jahr hat man schon in einigen EU-Ländern offiziell angefangen und nun vor zwei Wochen auch in Deutschland: "Xiaomi Smartphones in Deutschland, Österreich und Portugal im Handel" suchen.
Wird wohl noch 2-3 Wochen dauern, schätze ich, bei Tradingshenzhen ists auch noch nicht lieferbar, auf der MIUI-Seite ist auch noch nichts gelistet, da dauert es auch ein wenig, bis dann die Global ROM verfügbar ist.
GearBest sagt sogar 17. Mai, wobei das wohl sehr großzügig bemessen ist, macht Amazon teilweise auch bei Filmen, wo es noch nicht genau bekannt ist und gibts dann den 31. Dezember an.