electors (300386270) 'distinguished from' prince-electors (300417534);