Ernst 1814–1896 German historian and archaeologist