On the stage, a choir was singing to the accompaniment of music.