function sichtbar() {
   var v = document.getElementById("extra").style.visibility; 
   if (v == "hidden") { document.getElementById("extra").style.visibility = "visible"; }
   else               { document.getElementById("extra").style.visibility = "hidden"; }
   document.getElementById("wombat").title = "Klick mich noch mal!";
}