6 Dec
2017
6 Dec
'17
10:59 a.m.
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