Wilhelm Frimann Krog — Norwegian civil servant and politician