Department of Computer Science, Friedrich Schiller University, Jena, Germany. thlenser@inf.uni-jena.de|Department of Computer Science, Friedrich Schiller University, Jena, Germany. thlenser@inf.uni-jena.de|Department of Computer Science, Friedrich Schiller University, Jena, Germany. thlenser@inf.uni-jena.de