Thank you so much for the speedy response. Yes, I have made an error there as my site does have trailing slashes that have somehow bypassed my brain. I have now added a trailing slash to the redirects.
Just to be completely confident about this: if I leave the yellow/orange “Ignore Slash x” showing on the redirection set-up, this means that the ‘same’ URL without the trailing slash would also be redirected, does it?