The official stable ROM is available globally. This means that the models in Germany will also get the update to Android 10 and MIUI 11.
The update has already reached the first users. But here, too, the update is distributed in waves as always. Therefore, it can drag a little with one or the other.
V126.96.36.199.QFCMIXM brings the latest Android iteration and the Google security patch from February 2020 to the devices. The update should arrive in the next few days.