This page has moved to:

http://www.staff.uni-mainz.de/leypoldt/index.htm