Thank you for the very fast answer. I am not sure my bootloader is unblocked; all mi services (e.g. the find device service) work fine. Is there a way to check this? I do not have a recovery installed.
So you confirm that I can go from 7.2.5 to 7.5 using the UPDATER APP? Can you please repost...