Manyocky, Adam — entry in the Allgemeine Deutsche Biographie