Deutschland life Numerical Optimization C++ SFINAE templates Summer Pockets travel 1984 Numerical Linear Algebra Welt von Gestern open system decoherence Caldeira–Leggett Peano axioms real analysis