Diese Vorlesung wurde von Prof. Dr. Till Tantau an der Universität zu Lübeck im Wintersemester 2008 gehalten.