The European Court of Human Rights: the election of judges