mit Unterstützung von:    Institut für Informatik Arbeitsgruppe Faigle/Schrader (AFS) Universität zu Köln Institut für Informatik Lehrstuhl Prof. Dr. Michael Jünger Universität zu Köln