Enzo Mari donates his archive to the City of Milan