Der redis-server war nur ein weiteres Problem, das die Wiederherstellung zusätzlich erschwert hat. Es war so etwas wie ein Teufelskreis: Die externe Redis-Konfiguration hatte sich geändert, während der Zustand der App vor dem Neuaufbau genau diese spezifische Redis-Konfiguration benötigte, um zu starten. Ein Neuaufbau war jedoch nicht möglich, da das Abrufen der Theme-Komponenten nicht funktionierte.
Ich hatte jedoch Glück: Nach 20 bis 20 Neuaufbau-Versuchen wurden die Theme-Komponenten-Updates schließlich heruntergeladen.
Im Gesamtkontext des App-Designs wäre es schön, eine Dokumentation zu haben, wie man im „Safe Mode