• 9,375 inhabitants