function bookmark()	{
	if (navigator.appName == 'Microsoft Internet Explorer')
	{
		window.external.AddFavorite(eval(self.location),document.title);
	}else{
		alert('Setzen Sie ein Bookmark, indem Sie: \n1. einen Rechtsklick auf der Seite machen und \"Lesezeichen hinzufügen\" wählen oder \n2. die Tasten STRG-D drücken.');
		}
	}