I'm so new with the camera I had not got around to trying this. I'm going to try your "double auto" settings.
[edit] Okay, I set auto ISO and auto DR, and re-exposed the same shot as posted above. The camera selected ISO 200 (there was plenty of light, obviously), and DR=100%. Looking at the...