Department of Mathematics and Computer Science, Free University Berlin, Berlin, Germany. mbauer@inf.fu-berlin.de|Department of Mathematics and Computer Science, Free University Berlin, Berlin, Germany. mbauer@inf.fu-berlin.de|Department of Mathematics and Computer Science, Free University Berlin, Berlin, Germany. mbauer@inf.fu-berlin.de