Outside in the open space, a band was playing cheerfully, and some people were humming away the music.