[SOLVED] Menu problem in OJS 3.1.2 persisting?

After upgrade (3.1.0-1 to 3.1.2) the main language (English) is fine, but the secondary language (German) shows »navigation.archives«, »navigation.about«, etc.

Reading Menu problem in OJS 3.1 (bug?) and NavigationMenu Feature - Locales for default NMIs retrieved from key and not database · Issue #3846 · pkp/pkp-lib · GitHub I thought, the problem was solved.

Any ideas, why this still happens?

I think you can ignore my question: We had overwritten »primaryNavMenu.tpl« in our child theme with an alternative main menu, so after our upgrade from 3.0.2 to 3.1.0-2 it was written wrongly into our database and there it is since then.

I think I have to manually fix this.