/** Klasse zum Betrieb der Serverzeit-Uhr */
var ServertimeClock = new Class({
	Implements: Options,

	options: { //default-Werte
		servertime: null,
		servertimeClockElement: null
	},

	servertimeOffset: 0,
	elServertimeClock: null,

	/** Initialisieren */
	initialize: function(options) {
		this.setOptions(options); //options übernehmen
		this.elServertimeClock = this.options.servertimeClockElement;
		this.servertimeOffset = new Date().format('%s')-this.options.servertime;
		this.update();
	},

	update: function() {
		this.elServertimeClock.set('text', new Date().decrement('second', this.servertimeOffset).format('%H:%M:%S'));
		this.update.delay(1000, this);
	}
});