possible interruption due to server upgrade

Today the website may be offline for brief intervals, due to an upgrade of the server hosting it. The upgrade takes place between 12:00 and 16:00 UT (13:00-17:00 CET).

If you have difficulties accessing the site, please try again after a little while.