Xiaomi geht an die Börse und rechnet mit 10 Milliarden Dollar Einnahmen