Hi,
you wrote:
"My radio controlled clock, unfortunately, is a European model and insists on setting itself 1 hour ahead of UK time, whatever the season ! Manually correcting it is doomed to failure as it periodically fails, and resets itself !"
That happens because you bought a model that synchronizes with a german transmitter of radio signals, so it will set for german time.
I think there is also a transmiter like that in england that operates in other radio frequency, I know that because I live in Portugal and we can pick the British transmitter but not the German one (more that 1500km).
Best regards
José Rola