Stav dette: Integration in Hilbert space