In the bar, the music went up and the crowd danced.