Se codificó la elección del emperador por siete príncipes electores.