Den 9 juli noterades Xiaomi-gruppen officiellt på Hong Kong-börsen. Företaget var ganska entusiastiskt över resultatet, men det ...