  In the present note a spectral theorem for normal definitizable linear
operators on Krein spaces is derived by developing a functional calculus $\phi
\mapsto \phi(N)$ which is the proper analogue of $\phi \mapsto \int \phi \, dE$
in the Hilbert space situation.
