Paul Frederik Michael Heltzen — Norwegian amtmann and politician