Cathedral Cave, Old St. Michael's Cave, Rock of Gibraltar. Today used as a concert hall and auditorium.