Christian August Brandis — German historian (1790-1867)