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