function setEigenschaftText(text)
{
    document.getElementById('eigenschaftText').innerHTML=text;
}

function toggleEigenschaft(label)
{
    for(var i in label.childNodes) {
        if(label.childNodes[i].tagName
           && label.childNodes[i].tagName.toLowerCase() == "input") {
            label.childNodes[i].checked = !label.childNodes[i].checked;
        }
    }
}