Outside, a band is playing the repertoire seriously, and the people next to it are listening attentively.