Both images were shot with ISO 100, 1/350 s, f/5.6, whitebalance cloudy.

The JPEG image was set on low sharpening in-camera, and the Minolta JPEG
profile was applied in The Gimp, using the Gimp Dimage Color Plugin by
Laurent Houdard.

The RAW image was converted to PPM using mrwtoppm by Bradley Broom with
whitebalance cloudy, all other settings default.

The sharpened RAW image was sharpened using the Unsharp Mask plugin from The
Gimp with Radius 5.0, Amount 0.3 (about the same as the JPEG image to my
untrained eye), Threshold 0.