function menu()
{
document.getElementById('menucontainer').innerHTML='<a class="menu" href="home-de.html">HOME</a><a class="menu" href="showcase-demo-de.html">MUSTERROLLE</a><a class="menu" href="showcase-de.html">SCHAUFENSTER</a><a class="menu" href="painting-de.html">MALEREI</a><a class="menu" href="about-de.html">&Uuml;BER</a><a class="menu" href="contact-de.html">KONTAKT</a><a class="menu" href="links-de.html">LINKS</a>';   
document.getElementById('menucontainer2').innerHTML='<a class="menu" href="home-en.html">ENGLISH</a>';   
}
