Maintenance

I will do some maintenance on the infrastructure in the next few hours/days. There will be some outages of different length. Update: Finished maintenance. Only major difference for the user: The downloads using normal http-port 80 now.