Danke, dieser Tip funktioniert bei mir. Allerdings finde ich es suboptimal, das Update laufen lassen zu müssen. Meine alte installation habe ich mir durch ein Update zerschossen und dann irgendwo hier im Forum lesen müssen, daß Updates lieber nicht durchgeführt werden sollen, weil es immer wieder zu Fehlern kommt.
Auch nicht so optimal: die Version 253, die eigentlich für Raspberry Pi 4B funktionieren soll, funktioniert nicht. Nur die 256. Aber nach diesen leider längere Zeit verschwendeten Ärgernissen klappt alles super und so wie früher. Ich bin schon happy, die Lizenz gekauft zu haben!