On the stage, a band played cheerfully, playing cheerful music.