Koch

Koch, Ernst (1808 - 1858)