On a dance floor, everyone swung their arms to the merry music and danced.