Just yesterday we learned that Xiaomi has become the third largest manufacturer in the world according to the market research body Gartner, after only Samsung ...