Make me a moderator and I will hunt out and destroy spam without mercy. -------------- next part -------------- An HTML attachment was scrubbed... URL: https://lists.inf.ethz.ch/pipermail/oberon/attachments/20110704/bfcc5292/attachment.html