deactivated formatter
Merge branch 'statistics' of github.com:HerrMuellerluedenscheid/derec into statistics