A massive 2,000-year-old public library was discovered right under central Cologne