Extension:TopLink/de

The TopLink extension adds a "Return to top" link at the bottom of each page to jump back to the top of the page.