Siehe Mail von Frederik. Der Downloadserver ist umgezogen. Darauf müssen die DNS-Server sich erstmal umstellen. Bei mir klappt es schon. Henning