Versionsnummer gesetzt.
Merge branch 'release/3.1.2_20141124' into develop
Version 3.1.3 begonnen.