Danke an alle, die hier ihren Beitrag zur Problemlösung geleistet haben!!! Ich hatte das beschriebene Problem auch und war ziemlich ratlos.
Habe die Tipps dann in folgender Reihenfolge umgesetzt:
- Erstmal zur Sicherheit ein Downgrade auf 6.9.22, und sichergestellt, dass das geklappt hat.
- Dann etwas mutiger 
mit der gleichen Anleitung die Umstellung von der Dev auf die Stable Version.
- Auch das hat anstandslos geklappt. Wie schon beschrieben, sind dann halt alle Apps und Daten weg, das Handy meldet sich quasi im Auslieferungszustand - war ja nach den vorigen Beschreibungen auch so zu erwarten.
Also nochmal danke an alle, die an der Problemlösung gearbeitet haben. Habe mein Redmi 3S schon als Supportfall auf dem Weg nach China gesehen...
