bohm, carl (1844-1920)