a:visited { color: red; font-size: 12pt; font-family: "Times New Roman", Georgia, Times; text-decoration: underline }
a:link { color: blue; font-size: 12pt; font-family: "Times New Roman", Georgia, Times; text-decoration: none }
a:hover { color: blue; font-size: 12pt; font-family: "Times New Roman", Georgia, Times; text-decoration: underline }
a:active { color: green; font-size: 12pt; font-family: "Times New Roman", Georgia, Times; text-decoration: underline }
body { background-color: #ff0 }
.bg_navi { color: black; font-size: 12pt; text-decoration: none }
.big_text { color: black; font-weight: bold; font-size: 18pt; font-family: "Times New Roman", Georgia, Times }
.blauer_text { color: #4169e1; font-weight: bold; font-size: 12pt; font-family: "Times New Roman", Georgia, Times }
.pinker_text { color: #ef0863; font-weight: bold; font-size: 12pt; font-family: "Times New Roman", Georgia, Times }
.roter_text { color: red; font-weight: bold; font-size: 12pt; font-family: "Times New Roman", Georgia, Times }
.text { color: black; font-size: 12pt; font-family: "Times New Roman", Georgia, Times }
.text_medium { color: black; font-size: 14pt; font-family: "Times New Roman", Georgia, Times }
.text_small { color: black; font-size: 10pt; font-family: "Times New Roman", Georgia, Times }
#table_navi { border: solid 1px #ff0 }

/*
     FILE ARCHIVED ON 23:28:09 Feb 04, 2007 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 03:30:15 Sep 16, 2025.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.665
  exclusion.robots: 0.028
  exclusion.robots.policy: 0.012
  esindex: 0.013
  cdx.remote: 10.968
  LoadShardBlock: 155.87 (3)
  PetaboxLoader3.resolve: 153.462 (3)
  PetaboxLoader3.datanode: 62.361 (4)
  load_resource: 62.409
*/