Institute of Theoretical Computer Science, University of Ulm, Ulm, Germany. martin.bader@uni-ulm.de|Institute of Theoretical Computer Science, University of Ulm, Ulm, Germany. martin.bader@uni-ulm.de|Institute of Theoretical Computer Science, University of Ulm, Ulm, Germany. martin.bader@uni-ulm.de