Moved applications of Grothendieck duality to last lecture