Database: world_1
Question: The sum of the number of people living in Gelderland district?
SQL: select sum(population) from city where district  =  "gelderland"