The stage was playing cheerful music, and a man in a hat was singing, with cheers and chorus from the audience in his ear.