Nutze vorübergehend einen anderen Mirror. Meiner ist wahrscheinlich der letzte, der die aktuellste Version nicht hat und ich lade die gerade
...
...
P.S.: Zusätzlich gibt es Probleme mit der Leitung im Rechenzentrum, so dass das wohl noch eine Weile dauern wird
