So finally I found some time for the update:
Dirty flash on Mi8 AND Magisk V20 failed. Dropped to fastboot.
So I flashed the update again without Magisk and rebooted the system.
After a first check, reboot to recovery, install Magisk, reboot.
Everything seems to be ok at the first sight.
So my...