document.write( "<table border=\"0\" height=\"10\"><tr><td class=\"text\" valign=\"top\" align=\"left\">" );
document.write( "<font size=\"1\" face=\"Arial, Helvetica, sans-serif\">" );
document.write( "<img src=\"../img/spacer.gif\" width=\"16\" height=\"8\" border=\"0\" align=\"right\"><a class=\"wa\" href=\"index_txt.htm\" target=\"_top\">&nbsp;Hauptseite&nbsp;</a>&nbsp;<a class=\"wa\" href=\"info_txt.htm\" target=\"_top\">&nbsp;Info&nbsp;</a>&nbsp;<a class=\"wa\" href=\"about_txt.htm\" target=\"_top\">&nbsp;Über&nbsp;</a>&nbsp;<a class=\"wa\" href=\"products_txt.htm\" target=\"_top\">&nbsp;Produkte&nbsp;</a>&nbsp;<a class=\"wa\" href=\"tools_txt.htm\" target=\"_top\">&nbsp;Hilfsmittel&nbsp;</a>&nbsp;<a class=\"wa\" href=\"impres_txt.htm\" target=\"_top\">&nbsp;Impressum&nbsp;</a></font>\n" );
document.write( "</td></tr></table>" );