man , son af en domarefamilj i Kristianssand.