Zum Jahreswechsel hin gibt es immer Staus und Probleme.
Lade als Alternative besser von einem Mirror-Server.
Besser als sich zu ärgern, dass die OTR-Server überlastet sind.