¿Cuántos habitantes tiene Denia en verano?