Las ventas en corto de tecnología de Hong Kong alcanzan los 14.600 millones de dólares, con la proporción de Xiaomi llegando al 55.5%