Thanks for the quick reply - OTA Updates are those from Google Play, or what exactly do you mean? With the "native" MIUI, the one my phone came installed with, I would use this "Updater" App to update all MIUI-Apps - but in V. 13 this does not work anymore. Am I missing something?