神聖ローマ帝国という国名はいつから使われたのか

神聖ローマ帝国の成立については二つの主要な説が存在する。一つは西暦800年のカール大帝の戴冠に始まるとする説、もう一つは962年のオットー1世の戴冠によるとする説である。しかし、いずれの説を取ったとしても、実際に「神聖ローマ帝国」という国号が公式に使用され始めたのは、オットー1世の戴冠から約200年後のことで…