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