function verbergen (einblendkasten)
{
  var lay = document.getElementById(einblendkasten);
  lay.style.visibility = 'hidden';
}