Okay, stimmt, daran hatte ich im Eifer des Gefechts nicht gedacht. Und Freitag Abend ist gerade Primetime, und manche Carrier sind da recht stark ausgelastet...
Dann war ich vermutlich gestern Abend der Grund für den lahmen Server. Bei mir war das Update innerhalb von 26 Minuten runtergeladen und installiert, während ich mit @Stardust telefoniert hatte ...