Nachtrag:
Sperrung wurde mit dem "MiAccountUnlock-Tool" aufgehoben. Dieses findet man auf den "findigen" Seiten (z.B.) bei YouTube bei den Indern. Damit wurde aber nur die Account-Sperrung, nicht aber die Telefon-Sperrung aufgehoben. Letztere erfolgte nach längerer Email-Korrespondenz mit dem internationalen Xiaomi-Support (insgesamt 28 Mails zwischen dem 7. und 28. August). Der Support war sehr höflich und hilfsbereit, letztlich hing es aber von der technischen Xiaomi-Zentrale ab. Am Ende hat aber alles geklappt.