Hello, as some of you may already have been noticed our mail address has changed from "th-darmstadt.de" to "tu-darmstadt.de" due to the new name of our university (look at my sig). The old mail address will be working for a rather long time, but anyone is encouraged to change his or her personal aliases. Cheers --Roger -- ====================================================================== Roger Kehr kehr@iti.informatik.tu-darmstadt.de Computer Science Department Darmstadt University of Technology