Election of judges to the European Court of Human Rights following the expiry of the terms of office of one half of the judges