Harald Roelle <roelle@informatik.uni-muenchen.de>
Helmut Reiser <reiser@informatik.uni-muenchen.de>
