Question: How many people live in Gelderland district?
SQL: SELECT sum(Population) FROM city WHERE District  =  "Gelderland"