Spectroscopic identification of r-process nucleosynthesis in a double neutron-star merger