Time-lapse of the local storm that developed in part of the Teide National Park on August 25, 2017. September 12, 2017