// zurzeit zweckentfremdet für browser-abhängige Formatierung, da in allen Infos enthalten 
// 18.12.2004

if(navigator.userAgent.search(/Opera/) != -1) {
  document.write("<link rel='stylesheet' type='text/css' title='Normal' href='/vthk_op.css'>")
}  

// dummi, da Funktion z.Zt. ausgeschaltet