In the cheerful and intense sound of music, there were in turn a band performing indoors and a group of dolphins playing in the sea.