if(!parent.kopf_intra)
{ 
  var titel;
  if (document.title==''){titel = ''}
  else{titel = document.title;}
  parent.document.title = "Steinco - Paul vom Stein GmbH" + titel;

}