function linkfarbe(node) {
node.style.backgroundColor="#ff6600";
}

function linkfarbenormal(node) {
node.style.backgroundColor="#ff9900";
}

