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