Spectral theory of selfadjoint operators in Hilbert space