  We determine the asymptotics of the two-point correlation function for
quantum systems with half-integer spin which show chaotic behaviour in the
classical limit using a method introduced by Bogomolny and Keating [Phys. Rev.
Lett. 77 (1996) 1472-1475]. For time-reversal invariant systems we obtain the
leading terms of the two-point correlation function of the Gaussian symplectic
ensemble. Special attention has to be paid to the role of Kramers' degeneracy.
