A band was playing a cheerful tune on the stage, and the audience cheered and applauded.