Diether von Isenburg-Büdingen, Erzbischof und Kurfürst von Mainz und die kirchlichen und politischen Reformbestrebungen im fünfzehnten Jahrhundert : eine historische Studie