Title: On the functional calculus and the spectral function for definitizable operators in Krein space