Sorry, the server that hosts the forum couldn't handle the load.
I'm now moving it to a bigger VPS.
It should be back up in a few minutes.
Unfortunately, DigitalOcean assigned a new IP to the improved VPS,
so it will take a while until the new DNS registry gets propagated.