<!-- Funktionen für DIV Musikwelt //-->


function div_setColorMusikwelt(divname, divcolor)
  {
    document.getElementById(divname).style.background = divcolor;
  } // END FUNCTION