Xiaomi: Möglicher Preis für das Redmi Note 8 Pro in Deutschland