BBC World Service Auctioned Off

Could that be a Coles 4038 ribbon microphone I see before me? It's one of hundreds of bits of stuff up for sale as the BBC World Services auctions off its old studio equipment before it moves into Broadcasting House on Regent Street in March of next year. Not sure how old it is...I don't think wartime broadcasters used it. But maybe Dave Lee Travis or Noel Edmonds with a Jolly Good Show. Or perhaps Paddy Feeny, Colin Hamilton or John Tidmarsh?