Happy New Year to all of you!
And not only have we started off into (hopefully) a very grand 2024, we have also switched to a different server! That means that our problems should be a thing of the past now, and not only does the site work correctly again, it is also quite a bit faster. So thank you to Florian, our programmer, who has done a tremendous job, and thanks to all of you out there for sticking with us during this dreadful past half year.