The L omega1, omega1 -Theory of Hilbert Spaces