Stav dette: Model theory of Shimura varieties