Ulrich Gries Tim Niggemeier Markus Schneider Klaus Weihrauch Jens Peter Wittenburg