Redmi K20 Pro Launched as Xiaomi Mi 9T Pro in Europe: Price ...