1. Hasso Plattner Institute, University of Potsdam, 14469 Potsdam, Germany
2. Rolls-Royce Deutschland Ltd. & Co. KG, 15827 Blankenfelde-Mahlow, Germany
3. Department of Mathematics and Computer Science, Philipps University of Marburg, 35037 Marburg, Germany