Lehrstuhl für Informatik VII,  Am Hubland, 97074 Würzburg, Tel. 0931/888-6647, Fax. 0931/888-6679