biskopen i Kristianssand 12,000kr.