We are part of the Institute of Computer Science at the Johannes Gutenberg-University Mainz.