本文中であまり触れてないので補足がてら…
神聖ローマ皇帝の制度はあれこれ厄介で、諸侯の選挙でローマ王（ドイツ王）を選ぶ、戴冠式をやる、イタリアでイタリア王になる、ローマ教皇が皇帝としての帝冠を授けてローマ皇帝になる。なおそれらには正式に必要な道具があって…みたいな複雑な行程を経ます。
なので当時のフェデリコはローマ王であり、事実上のローマ皇帝（候補）と見られていたけどだけど、本来兼ねている筈のイタリア王にはなっておらず、正式な王冠がオットーの手にあるとか戴冠式の場所が違うとか教皇からまだ戴冠やってもらってないとか諸々の事情があって、正式なローマ王でもはなく（事実ローマ王の戴冠式すら後にやり直す）、当然正式なローマ皇帝でもない、みたいな状態です。
なんだこれ。
制度考えたやつは馬鹿なのか賢いのか紙一重のラインだと思います。
一二一四年 黒狼 -Calu Etrusci-
第二十一節
https://kakuyomu.jp/works/16816700429274331008/episodes/16816700429583578962