On the stage, a group of people were bouncing and making merry noises, with merry music.