Wo findet man den Hilbertraum?