if (window.external) {
var ausgabe = document.getElementById("bookmark");
ausgabe.innerHTML = "zu Favoriten hinzufügen";
}
else if (window.sidebar) {
var ausgabe = document.getElementById("bookmark");
ausgabe.innerHTML = "zu Favoriten hinzufügen";
}
else if (window.opera && window.print) {
var ausgabe = document.getElementById("bookmark");
ausgabe.innerHTML = "zu Favoriten hinzufügen";
}