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