bitte ignorieren -- Friedhelm Hofmeyer hofmeyer@informatik.uni-osnabrueck.de Fachbereich Mathematik/Informatik 0541-9692392 (Tel) Universitaet Osnabrueck 0541-9692770 (Fax) 49069 Osnabrueck, Germany http://www.inf.uos.de/