var hidecount = 0;
  var drueber = false;
  var aktiv = window.setInterval("verstecke()", 1000);

  function verstecke(){
  	if(!drueber){
      if(hidecount == 0){
        //document.getElementById('aristo-umen').style.visibility = 'hidden';
      }else{
        hidecount = hidecount - 1;
      }
  	}
  }
  function rauf(){
  	//document.getElementById('aristo-umen').style.visibility = 'visible';
    drueber = true;
  }
  function runter(){
    drueber = false;
    hidecount = 2;
  }