https://9dok.net/document/zgw25wp7-formale-methoden.html