slides - Lehrstuhl für Informatik VI der Universität Würzburg