function showToolbox()
{
	/* Alle / sowie " und ' müssen escaped werden */

	this.w3c = (document.getElementById);
	this.ms = (document.all);
	this.userAgent = navigator.userAgent.toLowerCase();
	this.isMacIE = ((this.userAgent.indexOf('msie') != -1) && (this.userAgent.indexOf('mac') != -1) && (this.userAgent.indexOf('opera') == -1));
	this.isOldOp = ((this.userAgent.indexOf('opera') != -1)&&(parseFloat(this.userAgent.substr(this.userAgent.indexOf('opera')+5)) <= 7));

	document.write( "<form action=\"switch\">" );
	document.write( "<select id=\"style\" size=\"1\" onchange=\"setActiveStyleSheet(value);\">" );
	document.write( "<option selected=\"selected\" disabled=\"disabled\">Arbeitshilfen:<\/option>" );
	document.write( "<option value=\"Schifferstadt Grundeinstellung\" title=\"Seitenlayout f&uuml;r grafische Browser\">Schifferstadt Grundeinstellung<\/option>" );
	document.write( "<option value=\"Tastaturhinweisefix\" title=\"Tastaturshortcuts einblenden\">Tastaturhinweise fix<\/option>" );
	document.write( "<option value=\"Tastaturhinweiseflex\" title=\"Größere Schriften und höhere Kontraste\">Tastaturhinweise flex<\/option>" );
	document.write( "<option value=\"Druckausgabe\" title=\"Formatierung f&uuml;r die Druckausgabe auf den Haupttext beschränkt\">Druckausgabe<\/option>" );
	document.write( "<\/select>" );
	document.write( "<\/form>" );
}