Translation of "Expectation operator" in German