1. Technische Universität München, Department of Informatics and Institute for Advanced Study, Boltzmannstraße 3, 85748 Garching, Germany
2. Technische Universität Dresden, Institute of Scientific Computing, Zellescher Weg 12-14, 01069 Dresden, Germany