Department of Natural Sciences III, Institute of Computer Science, Martin Luther University Halle-Wittenberg, Halle, Germany.|Department of Natural Sciences III, Institute of Computer Science, Martin Luther University Halle-Wittenberg, Halle, Germany.|Department of Natural Sciences III, Institute of Computer Science, Martin Luther University Halle-Wittenberg, Halle, Germany.