Xiaomi Redmi 9 startet in Deutschland für 160 Euro