Moved to www.cl-ki.uni-osnabrueck.de/~tsteffen