Original: It is the 15th-most populous municipality in the European Union.
Simplified: It has 807,396 people, making it the third-largest city in Spain and the fiveteenth in the European Union.