A band played in earnest in the hall, making melodious music.