Urlauber auf Teneriffa: Im Juli stieg die Zahl der ausländischen Touristen in Spanien im Vergleich zum Vorjahr um 4,5 Prozent.