https://9dok.net/document/y8gnd7v5-vl-loop-while-programme-berechenbarkeit-komplexit-gerhard-woeginger.html