praehilbertscher raum: nicht gefunden