Positiv definite Funktionen auf einem unendlich dimensionalen Vektorraum Wilhelm van Waldenfels — 1968 Studia Mathematica