Laufberger, Ferdinand - entry in the Allgemeine Deutsche Biographie