Xiaomi's Börsengang so gut wie abgeschlossen.