Seems to be OK now, but I still don't know what happened. What I can tell after a quick look at the logs is that about 20:00 on October 7 the mail system crashed, and it had been under exceptional load before that. -- Tapani Tarvainen