Wobei HTML-Refresh eigentlich nicht verwendet werden sollte. Jedenfalls warnt mich der Dillo (den ich gerade benutze) alle Naselang, dass laut HTML-Spezifikation Refreshes nicht benutzt werden sollen.