Ernesti, Heinrich Friedrich Theodor Ludwig