Stav dette: Hilbert spaces with applications