La erupción del volcán de La Palma, en un time-lapse del Observatorio del Roque de los Muchachos