Johan Garmann — Norwegian civil servant (1717–1768)