cleanup
Merge branch 'master' of github.com:HerrMuellerluedenscheid/derec
Merge branch 'master' of github.com:HerrMuellerluedenscheid/derec
optimized workflow