Name:	Hans Joachim Schmid
		E-mail:	schmid@mi.uni-erlangen.de
		Online info:	home page

Last modification: 11 June 2001