Verzeichnis der deutschen Könige von Pippin bis auf Heinrich V. sowie der Päpste von Petrus bis auf Calixt II.