Früher eigentlich zuverlässig und in Ordnung, ist dieser Mirror nun auch hinüber. Irgendwie klappt auch das User-Handling nicht mehr, man kommt immer sofort ran. Der Download-Manager sagt: Filesize changed on server, aber irgendwie spinnt die Site. Eine Datei bekommt man nicht mehr.
