Hat jemand Erfahrung mit Baden im Dezember im Meer aber auch in Hotelpools (Region Jandía)? Lohnt es sich, für Kinder einen Neoprenanzug anzuschaffen?