There was a group of men in red playing musical instruments on the lawn, and the music was cheerful.