  //arrays erweitern
  Array.prototype.contains = function (element){
    for (var i = 0; i < this.length; i++){
        if (this[i] == element){
            return true;              
        }          
    }          
    return false;  
  };

  if(!Array.indexOf)  //IE kennt IndexOf nicht
  {
	  Array.prototype.indexOf = function(el)
	  {
	      for(var i = 0; i < this.length; i++) if(el == this[i]) return i;
	      return -1;
	  }
  }
  
   Array.prototype.remove=function(s){
	   var i = this.indexOf(s);
	   if(i != -1) this.splice(i, 1);
	};

   Array.prototype.copy = function () {
	     return ((new Array()).concat(this));
	   };
	   
    function Numsort (a, b) {  //damit array.sort() auch numerisch soriteren kann, wird so genutzt: Array.sort(Numsort);
	  return a - b;
	}
