Xiaomi Redmi Note 9 und Note 9 Pro: Das kosten sie in Deutschland