Ernesti, Johann Heinrich Martin