Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces New progress on Grothendieck duality, explained to those familiar with category theory and with algebraic geometry 