Böhm, Otto Theodor (1830–)