The formation of the German college of electors in the mid-thirteenth century