Institute of Theoretical Computer Science, Ulm University, 89069 Ulm, Germany.|Institute of Theoretical Computer Science, Ulm University, 89069 Ulm, Germany.|Institute of Theoretical Computer Science, Ulm University, 89069 Ulm, Germany.