Stav dette: The Gross-Zagier formula on Shimura curves