Department of Computer Science II, University of Würzburg, 97074 Würzburg, Germany.|Department of Computer Science II, University of Würzburg, 97074 Würzburg, Germany.|Department of Computer Science II, University of Würzburg, 97074 Würzburg, Germany.|Department of Computer Science II, University of Würzburg, 97074 Würzburg, Germany.|Department of Computer Science II, University of Würzburg, 97074 Würzburg, Germany.|Department of Computer Science II, University of Würzburg, 97074 Würzburg, Germany.