9. juli ble Xiaomi Group offisielt notert på Hong Kong-børsen. Selskapet var ganske begeistret over resultatet, men det...