<!--
function optimized_print() { //v1.0
 window.print();
}

function Weiterleitung()
{
    window.location.href = 'https://'+window.location.hostname+'/?language=de&area=home';
}
//-->