Redmi Note 8 Pro выходит в Европе – цены и дата старта продаж