Mentions reach your colleague even when they appear twice in your contacts

Fixed

• Every person appears only once in the mention list. Someone who works in your team and was also stored as a regular contact showed up twice when you typed @ – same name, same email address, nothing to tell them apart. Picking the wrong one sent the mention to the portal instead of the workspace: no entry in the bell, no jump to the comment and no push notification. The list now merges those duplicates and always sends the mention to where the person actually works.

• German wording on the “Notifications” page. Umlauts were written as “ae”/“ue”/“oe” there, and the breadcrumb above the page stayed in English. Both are corrected.