People danced neatly on the stage to the sound of cheerful music, and the audience cheered.