Abgespecktes S: Xiaomi Redmi Note 9 startet in Deutschland