>>>>> On Tue, 10 Jul 2001 13:04:05 +0200, Kai.Grossjohann@CS.Uni-Dortmund.DE (Kai Großjohann) said: