<!--
function bustwith(adresse)
	{
		parent.location.href = adresse;    // funktioniert immer
	}

function bustwith(adresse)
	{
		parent.location.replace(adresse); // History überschreiben
	}
// -->