Moin, danke an alle, die Tipps beigesteuert haben. Hier ist keine Fritz!Box im Einsatz; damit kann ich mir also nicht behelfen.
phino: Vielleicht steh ich grad auf dem Schlauch, aber was genau soll der Restart in den Morgenstunden bzgl. dieses Problems bringen? Klar, Reset der public IP. Aber sonst?
Maurer42: Danke! Behalte ich mal auf der Hinterhand, wenn's nötig werden sollte.
Denn: Seit heute Morgen funktioniert's – keine Ahnung, wieso. Ich habe keine Veränderungen im Controller vorgenommen, mit Ausnahme der Umstellung des "Domain name" im Controller auf irgendwas anderes als das generisch Voreingestellte. Kann das schon alles gewesen sein?