Einige Optimierungen wurden vorgenommen, die bei den kürzlich aufgetretenen Zeitverzögerungen der Server Abhilfe schaffen sollten.