Die Urkunden Otto des III. (Monumenta Germaniae historica. [Diplomata]. Die Urkunden der Deutschen Könige und Kaiser, 1957)