Gustav Emil Devrient, September 4, 1803 - August 7, 1872, a German ...