<!--
if (parent.location.href == self.location.href) {
    if (window.location.replace)
        window.location.replace('../fuchsbau.htm');
    else
        window.location.href = '../fuchsbau.htm';
}
//  -->