https://jira.deutsche-digitale-bibliothek.de/browse/DDBNEXT-705: added new menu item "Saved Searches"
bug fix for https://jira.deutsche-digitale-bibliothek.de/browse/DDBNEXT-775
Merge branch 'DDBNEXT-775-2' into release/4.1