function pagePrint() {
    window.print(); 
}

function resetSearchField() {
    f = document.suche;
    if (f.searchterm.value == "Suche ...") {
        f.searchterm.value = "";
    }
}

function setSearchField() {
    
}