tillhörande stadshauptmannen Kirsebom i Kristianssand.