Spanish bird - size of wagtail

We were in the Alcornocales National Park - 1 hour north of Gibraltar - last week (mid September).

I've looked everywhere, and can't see what it might be. A friend suggested a Sardinian warbler?

Any suggestions gratefully accepted.

thanks