The positive effects of ethnic diversity in class on the educational performance of pupils in a multiethnic European metropole