Vielen Dank für die Antwort.
Wenn schon, dann mach's umgekehrt: Je eine HTML-Ressource pro Seite mit einer eigenen URL, und das Menü als iframe einbinden.
Vorteil: In der Adresszeile steht die tatsächliche Seiten-URL, und man kann jede Seite direkt verlinken.
Kann man denn immer von einem iframe das parent ändern? Da gibt's doch bestimmt irgendwelche Restriktionen...
Für die serverseitigen Lösungen.
Alles klar.
Klaus