Inauguration of the Harald Ganzinger Lecture Hall