A choir was singing songs on the stage, singing brightly and cheerfully.