Due to a planned power gap tonight, our mail server will be down for a few hours tonight roughly from 1900 GMT to 0800 GMT tomorrow. Messages you try to send during that time might not be delivered, so please don't worry. Normal service will resume tomorrow. Matthias ----- Matthias Neeracher <neeri@iis.ee.ethz.ch> http://www.iis.ee.ethz.ch/~neeri "One fine day in my odd past..." -- Pixies, _Planet of Sound_