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