How can I have this pagination also available at the top of the list of records on a page using the standard Basis design? I don’t see any option for this when configuring the view. 

It would be quite cumbersome for users having to scroll to the bottom of each page before they can move on to the next page. 

Comments

Hello opentype. Welcome to Backdrop CMS.

This would either require a sub-theme (have a look at Thesis which is a starter sub-theme with nothing changed) or a custom module.

Assuming you go the sub-theme route as the easiest path.  Copy:

/core/modules/views/templates/views-view.tpl.php

Into /your_sub_theme_path/templates/

And simple copy the bit that prints out the pager and insert a copy where you want it.  This is the bit you want:

  <?php if ($pager): ?>
    <?php print $pager; ?>
  <?php endif; ?>

This should work but I haven't tested

Thanks for the detailed instructions. It worked.