On the stage, two men sang, and there was a roar of cheers from the audience, and there was a jolly sound of music around.