Text this: Riemannsche Hilbertmannigfaltigkeiten ;