Josef Anton Koch - Küchler, Carl Gotthelf