The mail server broke down last week, and I just put the finishing touches on its replacement. It went down on Friday; fortunately it has been a quiet month, but in case anyone has tried to send any message to the list, now is the time to try again. Regards, Felix Croes