Thanks for no replies, I got the Olympus 8010. my first impressions:
As I mentioned, I like the idea of USB charging, but then those idiots used a propritary cable, which at first sight looks like a small usb plug, but it doesn't fit. Will they ever learn? I can't believe it....
the menu looks a bit old fashioned, everything is a bit on the slow side, image quality is mediocre, shutter lag is abysmal, start-up time is too long, screen black-out is way too long, auto-focus is rather hit-and-miss, sharpness is not really there, noise is just acceptable. Anything good? don't know yet.
Again I had to learn how brilliant the handling and the user interface of the Ricoh GRD III is, my most favorite compact yet, which feel like a camera, not like a camera-phone like the olympus.
I guess I'll keep it anyway, I am not going back to diving cases just for beach images.