Herman van Hall — Dutch botanist (1830-1890)