Apply the implicit midpoint rule, equivalently the Crank--Nicolson method, to the semidiscrete equation:
It has order two. Its amplification matrix is the Cayley transform
Because is Hermitian, is unitary. Hence exactly.