var EMPTY_RECENTLY_VIEW="Zuletzt angesehen";

var PAGING_FIRST_PAGE="erste Seite";
var PAGING_PREVIOUS_PAGE="vorherige Seite";
var PAGING_NEXT_PAGE="nächste Seite";
var PAGING_LAST_PAGE="letzte Seite";