The Verlinde formula