Gerstner, Franz Anton,Ritter von,1793-1840translator.