improved robustness check
Merge branch 'stage2' of github.com:HerrMuellerluedenscheid/derec into stage2