Menu ausgelagert in menu.js
Menu is now generated by JavaScript