Davey wrote:
I'm looking for a cable for an ancient Russell-Hobbs coffee maker,
model 3010/P. The plug is similar to a standard IEC one, but has a notch
opposite the earth pin to accommodate a corresponding raised section in
the socket on the device.

Is it an IEC C15 connector, commonly called a 'hot' IEC connector?
https://en.wikipedia.org/wiki/IEC_60320

for instance:
http://cpc.farnell.com/unbranded/p-u...PL15204?st=c15
(out of stock until next week)

or (possibly a bit on the long side):
https://www.ebay.co.uk/itm/2m-Power-...E/332659081902

The moulded plug that goes into the coffee maker seems to have burned
out or otherwise failed. A new plug that I could add to the old cable
would be fine.
http://cpc.farnell.com/schurter/4781...CN03854?st=c15

Theo