This page has moved to http://www.uni-ulm.de/in/omi.html