What is the total population of Gelderland district?
SELECT sum(Population) FROM city WHERE District  =  "Gelderland"
SELECT sum(Population) FROM city WHERE District  =  "Gelderland"
[{'sum(Population)': 545548}]