Hi all, Since yesterday evening localtime the ntg mail server switched to an external service for spam filtering. It is already clear that the mail server indeed handles much less spam now, so it looks like a great success. Still, it is a rigorous change, and for the new few days I want to ask everybody to keep an eye out for disappearing posts. This message is crossposted. If you want to reply, please do so to me personally, not to the lists. Best wishes, Taco