Deutsche Real.Eucyclopedie , 1848,