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