<!--
    var text1 = new String("oder schauen Sie sich die <a href=\"http://www.cgisoft.de/GastroKarte\">Friedrichshagener Gastronomie-Karte</a> an");
    var browser = new Object();
    var agent = navigator.userAgent.toLowerCase();
    if(navigator.appName == "Opera" || navigator.appName == "Microsoft Internet Explorer") {
        document.write (text1)
    };
//-->