On the stage, a group of performers were performing in earnest, with a lovely musical sound.