Erich Grädel (RWTH Aachen, DE), Wolfgang Thomas (RWTH Aachen, DE), Thomas Wilke (Universität Kiel, DE)