Ernesti, Johann Heinrich Martin (1755-1836)