<!-- Fenster.js -->
<!--
//Legt die Fenstergröße fest.
	window.resizeTo (1024, 768);
// -->