This page has moved to http://www.informatik.uni-bremen.de/agki/didose.php