a huge library in the center of Milan