In a theatre, a band played a cheerful tune on the stage, and the audience applauded warmly.