Adresse Julius-Maximilians-Universität Würzburg Institut für Informatik Lehrstuhl für Informatik III Am Hubland 97074 Würzburg