Arndt Bode Manfred Broy Jürgen Ebert Gregor Engels Markus Mertesacker Dirk Meyerhoff Andreas Winter