Gervinus, George Gottfried, 1805-1871.