Das kann an der Auswahl des Spiegelservers liegen.
@nomekopia Das "Lustige" dabei ist, dass ich jedes Mal immer zufällig einen der DE-Server auswähle. Vielleicht gab es ja allgemein gerade einen Fehler bei den Mirrors? 🤔 Ich müsste das heute gleich noch einmal probieren ... 😉
Ich hatte vor Tagen das gleiche Problem. :D Deshalb wusste ich das gleich.
