There was a band on the stage, singing, and there was a cheerful sound of music.