the german princes who chose the holy roman empire were called