Spectral Theorem for definitizable normal linear operators on Krein spaces

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.