Merge branch 'develop' of https://github.com/Deutsche-Digitale-Bibliothek/ddb-next into develop
Merge branch 'develop' of https://github.com/Deutsche-Digitale-Bibliothek/ddb-next into develop
Merge branch 'develop' of https://github.com/Deutsche-Digitale-Bibliothek/ddb-next into develop
Merge branch 'develop' of https://github.com/Deutsche-Digitale-Bibliothek/ddb-next into develop
Merge branch 'develop' of https://github.com/Deutsche-Digitale-Bibliothek/ddb-next into develop
feature/refresh-indices-after-index: always refresh the index after modifying
it.
Merge branch 'feature/refresh-indices-after-index' into develop