//function Titelanzeige() {
Titel=document.getElementsByTagName('title')[0].text;
top.document.getElementsByTagName('title')[0].text = Titel + ' (' + document.URL + ')';
//}