BENEDICT, Julius (1804-1885)