då de 7 elektorernas namn äro kända.