Von wegen 10-Milliarden-IPO: Xiaomi enttäuscht bei Börsendebüt