oell stadshauptmanden i Christianssand,