Dozy, Reinhart Pieter Anne, 1820-1883, ed. lit.