Lehrstuhl für Informatik VI, Am Hubland, 97074 Würzburg     Tel. 0931 888 - 6731  FAX 0931 888-6732