Hi folks,

I'm happy to tell you, the DNS issues from around lunchtime CET today are solved now. I also fixed a few mistakes at the forum software itself. I hope everything is now running smoothly.