https://jira.deutsche-digitale-bibliothek.de/browse/DDBNEXT-705: added new menu item "Saved Searches"