– En gledens dag for Agder