Willem Hendrik de Greve — Dutch geologist (1840-1872)