Lehrstuhl für Informatik VII,  Am Hubland, 97074 Würzburg, Tel. 0931/31-86678, Fax. 0931/31-86679