40 years of ICSD – from an archive on paper to a digital gold treasure