Gerhard II., Erzbischof von Mainz — entry in the Allgemeine Deutsche Biographie