Version angepasst
Merge branch 'develop' into release
Javadoc aktualisiert
letzte Vorbereitungen fuer's naechste Release
lokaler "broken" Test repariert
nochmalige Korrektur der fehlgeschlagenen Tests