On the functional calculus and the spectral function for definitizable operators in Krein space | lit.salon