This page has moved to: http://www.se-rwth.de/staff/nagl.