Neue URL: http://www.informatik.uni-stuttgart.de/fmi/fk/mitarbeiter/prote/