This page has moved to http://ls11-www.informatik.uni-dortmund.de/staff/gutwenger