Super! hashchange Event war mir nicht bekannt. Das funktioniert prima. Und die Höhe der Navigationsleiste dynamisch zu bestimmen ist auch ein toller Tip. Vielen Dank!
Einziger Makel ist, dass das Event lt. https://caniuse.com/#search=hashchange vom Opera Mini nicht unterstützt wird. 2% der Nutzer haben den zwar nur. Aber ich frage mich ob ich daher statt JavaScript dafür nicht besser z.B. ein jQuery bzw. jQuery Mobile Plugin einsetzen soll. Ich meine gelesen zu haben dass dafür ein Plugin existiert. Vermutlich würde ein solches Plugin eine Fallback-Lösung (heisst das so?) für den Opera Mini anbieten.