© Francisco Canedo/XinHua/dpa Bislang hatte Costa Rica mit seinen rund fünf Millionen Einwohnern nur eine Präsidentin.