Erst gestern haben wir erfahren, dass Xiaomi laut Marktforschungsinstitut Gartner nach nur Samsung der drittgrößte Hersteller der Welt geworden ist ...