Analysis in historischer Entwicklung by Ernst Hairer