print out properties file name during startup
Merge branch 'develop' of https://github.com/Deutsche-Digitale-Bibliothek/ddb-next into develop