if (top.frames.length > 0)
			top.location.href = self.location;
	  normal0 = new Image();
	  normal0.src = "pics/welcome/german_a.gif";
	  highlight0 = new Image();
	  highlight0.src = "pics/welcome/german_b.gif";
  	  normal1 = new Image();
	  normal1.src = "pics/welcome/english_a.gif";
	  highlight1 = new Image();
	  highlight1.src = "pics/welcome/english_b.gif";
	  
	function bw(bildnr, bildobjekt) {
		window.document.images[bildnr].src = bildobjekt.src;
	}