var angezeigt = false;
function menu(divid) 
{ 
    if (angezeigt)
    {
        document.getElementById('menu').style.display = 'none';
        angezeigt = false;
    }
    else
    {
        document.getElementById(divid).style.display = 'inline';
        angezeigt = true;
    }
}