Andreas Høyer — Norwegian civil servant (1742-1817)