i hate this editor!!!!!!!!!!!!!!!!!!!
Merge branch 'master' of https://github.com/KollegNaproche/NumberTheory
temporary version Martin/Merlin/Regula
Merge branch 'master' of https://github.com/KollegNaproche/NumberTheory