Max-Planck-Institut für Mathematik Normality of circular β -ensemble