/**
** sorgt dafuer, dass "src" nur 1x als script im head eingetragen wird
**/
function include_once(src) {
  // hole alle vorhandenen Script-Elemente
  var scripts = document.getElementsByTagName('script');
  if(scripts) {
    for(var k=0; k<scripts.length; k++) {
      // script schon geladen, abbrechen
      if(scripts[k].src == src) {
        return;
      }
    }
  }
  // script noch nicht geladen, binde es ein
  var script = document.createElement('script');
  script.src = src;
  script.type = 'text/javascript';
  (document.getElementsByTagName('head')[0] || document.body).appendChild(script);
}