Es gab in letzter Zeit Probleme mit dem Server von Börse Online.
Ich habe heute die Serverdefinition dafür angepasst und jetzt sollte es wieder problemlos mit diesem Server funktionieren.