Goethe-Universität Frankfurt Institut für Informatik Fraknfurt Institute for Advanced Studies Ruth-Moufang-Straße 1 60438 Frankfurt am Main