Lehrstuhl für Informatik II Universität Würzburg Am Hubland D-97074 Würzburg Germany Tel.: +49 (931) 31 86600 Fax.: +49 (931) 31 86603 e-mail: albert
