maintenance on monetdb.org

Wednesday morning Western European time we will do maintenance on monetdb.org. All services will be down for a few hours.