Table: eu_cities
Columns: city_proper
population_city_limits_in_millions
density_per_km
urban_area
population_urban_area_in_millions
metro_area
population_metro_area_in_millions

Question: Which urban area has a population of 5.3 million?
SQL: SELECT "urban_area" FROM eu_cities WHERE "population_urban_area_in_millions" = 5.3