  The main result of this paper is a description of the space of functions on
the unit circle, for which Krein's trace formula holds for arbitrary pairs of
unitary operators with trace class difference. This space coincides with the
space of operator Lipschitz functions on the unit circle.
