Do Dutch students and international students mingle a lot? Or do they rather stick to their own groups?