Ich habe eine Lösung gefunden: Man kann aus dem Mi-Konto im Handy die Kontakte in den Speicher exportieren. Das ergibt dann im internen Speicher eine ics-Datei. Diese wiederum kann man dann im Google-Konto importieren. Elegant ist die Lösung nicht, aber funktioniert. Nur Bilder machen dann Kauderwelscheinträge in den Adressen. Aber egal. Ich denke, Xiaomi möchte gern, dass man seine Dienste nutzt, deswegen funktioniert alles sehr bequem in Richtung Mi-Konto, aber umgekehrt eher nicht.