Vilhelm Lie — Norwegian civil servant