Ernst Otto Lorenz Hoppe,