Skal det nye fylket hete Agder, Sørlandet, eller Kristiansand og omegn?