Karl Olsen — Norwegian civil servant (1910-1999)