https://9dok.net/document/z3d3rpge-nichtstandard-analysis-blatt.html