The swimming pool of Cesar Manrique at the lava tube Jameos de Aqua (Photo: Tobias Schorr)