Wir werden sehen.
Werde die fehlenden Dateien von Zeit zu Zeit wieder zum Download aktivieren.
Wenn´s wirklich am Server liegt, dann werden sie irgendwann wieder da sein.
Wenn nicht innerhalb von 48 Stunden, dann werde ich auch mal ´ne Downmeldung starten.
Nachtrag:
Gegen 23:30 Uhr ware die fehlenden Dateien schon wieder online.