Merge branch 'development' into ava
Merge branch 'development' into ava
Tab 2: reworked checkbox facets
default filters are now: with holdings/fulltext and  without newspaper articles
Merge branch 'ava' into development