Prof. Michael Beetz has moved to the University of Bremen in Summer 2012, and parts of the group will follow over the course of the next months. The website of the IAS group in Bremen can be found at http://ai.uni-bremen.de.