Schindler, Anton Felix - entry in the Allgemeine Deutsche Biographie