Server downtime of

Due to a server problem, (including the web forum) was not available for about 10 hours last night. The problem was fixed today late in the morning. (“night” and “morning” as in “Central European Time”. ;-) ) Everything’s now fine again. As far as I can see, there was no loss of data.

Sorry for the inconvenience!