Central limit theorem for the complex eigenvalues of Gaussian random matrices

We establish a central limit theorem for the eigenvalue counting function of a matrix of real Gaussian random variables.