// JavaScript Document
// leeres Script, damit im Logfile kein Fehler auftaucht.
