CREATE TABLE city (Population INTEGER, District VARCHAR(255))
How many people live in Gelderland district?
    
SQL: SELECT SUM(Population) FROM city WHERE District = "Gelderland"