Lehrstuhl für Informatik I Universität Würzburg Am Hubland D-97074 Würzburg Raum B103 Tel: +49 931 / 31 - 86664 Email: Reitwießner