On the stage, a band sang to the merry music, and the audience sat down.