Ich fotografiere eigentlich immer RAW, aber auf diesem Urlaub war die Speicherkarte noch zu klein, und die Dateigröße der EX1 für ein RAW mit 25MB abstruss groß. Deswegen ist das ein JPG gewesen. Das erklärt auch die Schärfe.
Ich habs nochmal gerade gestellt und zumindest jetzt alles Nachschärfen raus genommen.
-> Bild in der Galerie