remove non-existing style id's

This is an leftover from RT 3.8 menu.
remove always the right element from titlebox

This element contains information that never would be worth printing.
Fix display of numbers for german language
switch from tr to set numf_comma
correct #app-nav name and bring back #page-menu

as suggested by tsibley
Merge remote-tracking branch 'github/pr/53' into 4.0-trunk
Merge remote-tracking branch 'github/pr/52' into 4.0-trunk