Lehrstuhl für Informatik III, Am Hubland, 97074 Würzburg, Tel. +49-(0)-931-31-86631, Fax +49-(0)-931-31-86632