Dingsens umbenannt (vereinheitlicht)
und 17 zu ende gefuzzelt
Merge branch 'master' of ssh://git@github.com/backenklee/proinf-3.git