Información sobre la dinastía de Guillermo, Principe electo del Sacro Imperio Romano