Grévys val till republikens president,