Erg luid klonk ie niet, de gong, op de beurs van Hong Kong. 't Was ook geen knaller, de beursintroductie van de vierde smartphonefabrikant ter wereld het Chinese Xiaomi.