How did the Holy Roman Empire transition from hereditary succession under Charlemagne to an elective monarchy? Was it the same institution?