The universities of Luebeck, Kiel, Hamburg and Bremen and the German Research Center for Artificial Intelligence, supported by the states of ...