Lehrstuhl für Informatik III, Am Hubland, 97074 Würzburg, Tel. +49-(0)-931-888-6631, Fax +49-(0)-931-888-6632