Edzard, Johann Esdras, German historian