Friedrich V., Kurfürst von der Pfalz — entry in the Allgemeine Deutsche Biographie