Johan Ernst Hartmann, se Johann Hartmann.