Villaume, Peter — entry in the Allgemeine Deutsche Biographie