This Friday, I will finally change hardware which runs this server. As there are quite a lot of services to migrate, you can expect downtime tomorrow evening (starting around 18:00 CEST) of unexpected length.
As soon as everything is up, feel free to complain what is broken and did not survive migration.
