<l03020901aff9482e6aa7@[132.208.186.43]><3.0.3.32.19970721202424.00b07134@rs1.rrz.uni-koeln.de><l03020901affa95d3245c@[132.208.186.65]><Pine.BSI.3.95.970722112815.23697B-100000@taz.hyperreal.org><l03020900affbe613c408@[132.208.186.65]><Pine.HPP.3.90.970723184704.9544A-100000@dutiwy.twi.tudelft.nl>