Monumenta Germaniae historica. Hilfsmittel.