Xiaomi's Redmi K20 has already arrived in some markets (including Europe) as the Mi 9T, but so far the K20 Pro (aka Mi 9T Pro) hasn't made its official debut alongside its sibling. That will all change in just a few days, it turns out. According to the official Facebook account of Xiaomi's arm in the Netherlands, the Mi 9T Pro will finally become official on August 20. The launch referenced in the post is for the Benelux markets - Belgium, the Netherlands, and Luxembourg. But usually it doesn't take Xiaomi very long to roll out a new device to all of its European markets after the first...
Source: https://www.gsmarena.com/xiaomi_mi_9t_pro_redmi_k20_pro_officially_launches_in_europe_on_august_20-news-38664.php