Database: world_1
Question: What is the total population of Gelderland district?
SQL:
SELECT sum(Population) FROM city WHERE District  =  "Gelderland"