Lehrstuhl für Informatik VII,  Am Hubland, 97074 Würzburg, Tel. +49 931 888-6647, Fax. +49 931 888-6679