Образование Священной Римской Империи в 962 году: Краткий экскурс в историю