このときの記録で、ドイツ王国(ラテン語:regnum teutonicum)という名称も初めて現れた。