function zu() {
 if (document.getElementById('leistnav').style.visibility=='visible') {
   document.getElementById('leistnav').style.visibility='hidden'; }
}
function auf() {

   document.getElementById('leistnav').style.visibility='visible';
}