I just realized that there is no category in this forum for announcements and other stuff, so I quickly created this one.
Beginning at 8 p.m. CET of August 30, my web hoster will be moving the servers to a new facility. I mean that literally, the servers will be transported on the road from one place to another. It is planned to get everything done within 24 hours, but of course this website will be offline for a couple of hours during that time. So, don't be alarmed when that happens, all is well...