a {text-decoration: none} font {text-decoration: none} a:link 
{color:#0000FF} a:visited {color:#0000FF} a:active {color:#FF0000} a:hover 
{color:#FF0000} .tak {font-weight: bold; font-size: 12px; font-family: Arial, 
Helvetica, sans-serif} .tpa {color: #c00; font-weight: bold; font-size: 12px; 
font-family: Arial, Helvetica, sans-serif} .stak {font-size: 11px; font-family: 
Arial, Helvetica, sans-serif} .stpa {color: #c00; font-size: 11px; font-family: 
Arial, Helvetica, sans-serif} .headline {font-family: Arial, Helvetica, 
sans-serif; font-weight: bold; line-height: 200%; font-size: 22px} .headline1 
{font-family: Arial, Helvetica, sans-serif; font-weight: bold; line-height: 
200%; font-size: 22px}.subline1 {font-family: Arial, Helvetica, sans-serif; 
font-size: 18px; font-weight: bold; line-height: 230%} .subline2 {font-family: 
Arial, Helvetica, sans-serif; font-size: 75%; font-weight: bold; line-height: 
230%; color: #666666;} .subline3 {font-family: Arial, Helvetica, sans-serif; 
font-size: 75%; font-weight: bold; line-height: 230%; color: #666666;} 
.marginalie {font-family: Arial, Helvetica, sans-serif; font-size: 16px; 
font-weight: bold; line-height: 100%; color: #000000;} .normal {font-family: 
Arial, Helvetica, sans-serif; font-size: 16px} .markiert {font-family: Arial, 
Helvetica, sans-serif; font-color:#0000FF; background="pics/bg_gelb.gif"; 
font-size: 75%; font-weight: bold } .zab1 {font-family: Arial, Helvetica, 
sans-serif; font-size: 75%; line-height: 150%} .zab2 {font-family: Arial, 
Helvetica, sans-serif; font-size: 100%; line-height: 150%} .zab3 {font-family: 
Arial, Helvetica, sans-serif; font-size: 100%; line-height: 150%} .betont 
{font-family: Courier New, monospace; font-size: 100%} .jump {font-family: 
Arial, Helvetica, sans-serif; font-size: 80%} .hellgrau {font-family: Arial, 
Helvetica, sans-serif; font-size: 90%; font-weight: bold; color: #ccc} .micro 
{font-family: Arial, Helvetica, sans-serif; font-size: 60%} .noprop 
{font-family: Courier New, monospace; font-size: 75%} .c {color: #333; 
font-family: Courier New, monospace; font-size: 14px}