NEW: Revision of the user interface
New: Jump to page – Activates a certain page in the list of results
With the “jump to page…” function one can activate a certain page of the result list, without browsing the pages individually. By mouse click on the current page number (highlighted in a pale colour) a field opens up in which the requested page number can be entered. It is activated by using the enter key.