In article <1fcqs3INNgks@fbi-news.Informatik.Uni-Dortmund.DE> sprave@gonzo.informatik.uni-dortmund.de (Joachim Sprave) writes: