We are migrating the forum to a new server April 18 (started approx. 10:10 CET). During some of this time, the forum will be in read-only mode, so that we make sure new contributions aren't lost in the migration. Hopefully this will only last a few hours.