My apologies for the possible double-mailing, it looks like something went wrong, either with Gmail, my ISP or the mailinglist software, as my message didn't show up (or only later, after I had posted through the ‘proper’ web-based Gmail). - MG