Okay,okay! Ihr habt mich überzeugt.
Eine Variante wäre es natürlich, auf jeder Seite oben (bei Seiten auf denen sehr viel Text steht vielleicht auch nochmal unten) alle Menüpunkte als Hyperlink anzuführen, damit jede Seite das Menü hat. Ich habe bisher nur davor zurückgeschreckt, weil ich mir überlegt hatte:
"Was machst Du, wenn Du siebzig Seiten hast und dann merkst, daß Du noch einen Menüpunkt zusätzlich brauchst?"
Jetzt habe ich bei meinem Editor (Phase5) aber die Funktion "Dateiübergreifendes Ersetzen" endeckt, womit auch diese Sorge ein Ende hätte.
Vielen Dank für eure Tipps! 8)