Edited by: Thomas Gries, Lukasz Debicki, Christian Schindler, Stefan Schlichter,
Edited by: Dieter Spath, Walter Ganz,