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