Hi Markus,
Anstelle von dem Refresh muesstest Du mit einem Javascript auf der HTML Seite arbeiten, welches zuerst den Dateinamen prueft (also ob Du noch auf text.htm oder schon auf navi.php bist) - geht zB mit:
top.location.href.substr(top.location.href.length-8, top.location.href.length)
Und nur wenn es sich um text.htm handelt mit document.location.href auf navi.php umleiten.
Gruss, Mel