Goethe-Universität Frankfurt Institute for Computer Science Frankfurt Institute for Advances Studies Ruth-Moufang-Straße 1 60438 Frankfurt am Main