1. Department of Mathematics & Computer Science, Philipps-Universität Marburg, 35043 Marburg, Germany
2. Department of Computer Science, Technical University of Darmstadt, 64289 Darmstadt, Germany
3. Department of Electrical Engineering & Information Technology, Technical University of Darmstadt, 64283 Darmstadt, Germany