https://9dok.net/document/qvl7k6vl-die-konstruktion-der-reellen-zahlen.html