Polentz, Georg von — entry in the Allgemeine Deutsche Biographie