On the stage, a band was playing, and the music was cheerful.