A group of people in jeans were dancing on a gleaming stage, and the music was cheerful.