We will be moving to a new host in the next days. (Between 10 and 15 September 2023).

The site may temporarily go offline in this time. But don't worry! In a few days we will be back on a faster and better host.

Update: Part 1 of the move has been completed. We are now on a faster host.

Update 2: Part 2. Updating the CMS, during which time the site will be offline for - if all goes well - about half an hour. Done. But the layout apparently has been lost.

So, still to do: fix the layout.