vektorraum mit innerem produkt: nicht gefunden