The musicians on the stage, with their instruments in their hands, were playing cheerful music.