var lT = new Date()
var ms = lT.getTime();
var OffsetSeconds = server_stamp-Math.round(ms/1000);

function shTi(ClockTag, AddOffset) {
    if (AddOffset==true) {
        var lT = new Date()
        var ms = lT.getTime();
        ms += OffsetSeconds * 1000;
        var ti = new Date(ms)
    } else {
        var ti = new Date()
    }

    var Tag = ti.getDate();
    var Monat = ti.getMonth() + 1;
    var Jahr = ti.getYear();
    if (Jahr < 1900) Jahr = Jahr + 1900;
    var Stunden = ti.getHours();
    var Minuten = ti.getMinutes();
    var Sekunden = ti.getSeconds();
    var pjah  = ((Jahr < 10) ? "0" : "");
    var ptag  = ((Tag < 10) ? "0" : "");
    var pmon  = ((Monat < 10) ? "0" : "");
    var pstd  = ((Stunden < 10) ? "0" : "");
    var pmin  = ((Minuten < 10) ? ":0" : ":");
    var psek  = ((Sekunden < 10) ? ":0" : ":");
    var Uhrzeit = ptag + Tag + "." + pmon + Monat + "." + Jahr +" &bull; " + pstd + Stunden + pmin + Minuten + psek + Sekunden+" CET";
    document.getElementById('time').innerHTML = Uhrzeit + "  ";
}
window.setInterval("shTi('time', true)",1000);