Thanks Jeffrey. Your first comment led me to retry the restore but with new data and log file names instead of trying to restore over the top of the existing...
Thanks for the link. Unfortunately it didn't help. It suggests that the mirror needs to be disabled before the backup but I have already been given the backup file by...