Event.observe(window, 'load', 
	function() {
		Event.observe('toggle-inhaltsverzeichnis', 'click', 
			function() {
				if ($('inhaltsverzeichnis').visible()) {
					$('inhaltsverzeichnis').hide();
					$('toggle-inhaltsverzeichnis').update('(anzeigen)');
				} else {
					$('inhaltsverzeichnis').show();
					$('toggle-inhaltsverzeichnis').update('(verbergen)');
				}
		});
});