I've update my phone Poco F3 to the latest Xiaomi.eu ROM 12.5.19.
Badly enough there are a lot of translations missing like when you dial a phone number. It presents English instead of Dutch.
The translations which are missing now were already missing before updating my phone.
The latest thread...