Hurra, das hat tatsächlich geholfen. Ich bin ein Stück weiter, vielen Dank.
Nun leuchtet die LED dauerhaft rot und die Nachricht lautet: Es gibt keine Verbindung zum Server.
Ich bitte um Ideen, wie ich weiter komme. Die Ports 80, 123 und 443 habe ich in der Fritzbox frei geschaltet.