The choir was performing in earnest, and the sound of cheerful music came.