[Equal] !VIRUS: New changes

[Christof.arn]

An HTML attachment was scrubbed...
URL: https://mailman.inf.ethz.ch/mailman/private/equal/attachments/20050107/4ff22ba7/attachment-0001.html
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Document.com
Type: application/octet-stream
Size: 21422 bytes
Desc: not available
Url : https://mailman.inf.ethz.ch/mailman/private/equal/attachments/20050107/4ff22ba7/Document-0001.obj