Parque de Campismo Municipal da Praia da Tocha - Anmerkung