There were many people in the room, dancing to cheerful music.