I går fikk vi vite at Xiaomi har blitt den tredje største produsenten i verden ifølge markedsundersøkelsesorganisasjonen Gartner, etter bare Samsung ...