I see! Thank you for your quick response!
Another quick question! I find the amount of noise reduction in the native camera app from the global miui very excessive! Do you know if this is corrected in the xiaomi.eu? If so, I won't even bother looking for a *no-support-for-this-app-on-this-forum*