Waldmüller, Georg Ferdinand - entry in the Allgemeine Deutsche Biographie