--
Prof. Dr. Hartmut Noltemeier Lehrstuhl fuer Informatik I
<noltemei at informatik.uni-wuerzburg.de> Universitaet Wuerzburg
Tel. 0931 / 888-5054 Am Hubland
888-5055 D-97074 Wuerzburg
Fax. 0931 / 888-4600
WWW: <http://www-info1.informatik.uni-wuerzburg.de/>