The Mi Pad 5 may arrive in Europe as early as September, albeit possibly without the Mi Pad 5 Pro. On the other hand, Redmi General Manager Lu Weibing asserts that several factors are preventing Xiaomi from producing as many Mi Mix 4 handsets as possible.
https://www.notebookcheck.net/Lu-Weibing-points-to-multiple-bottlenecks-holding-back-Xiaomi-Mi-Mix-4-production-Mi-Pad-5-to-arrive-in-Europe-next-month.555481.0.html