Grothendieck's trace formula