Hi there,
because of an unscheduled but necessary reboot of the Host Server of
dist-mirror.fem.tu-ilmenau.de, there will be an downtime beginning at
~19:55 (CET/MEZ).
If there are no other Problems, the server should be successfully
rebooted at 20:15 (CET/MEZ).
I apologize for any inconvenience caused by this downtime.
Best Greetings,
Matthias Detsch