Mandal er med ca. 14.000 indbyggere den næststørste i Vest-Agder