Emil Diesen — Norwegian civil servant