Claudius, Otto (1795–1877)