This redirect leads to its target in accordance with the naming conventions for titles in other languages and can help writing and searches. However, per WP:NOTBROKEN do not replace these redirected links with a piped link.
From a page move: This is a redirect from a page that has been moved (renamed). This page was kept as a redirect to avoid breaking links, both internal and external, that may have been made to the old page name.
When appropriate, protection levels are automatically sensed, described and categorized.