On 09/04/2021 19:07, Clive Page wrote:
In fact I can just recall the old 15 amp 3-pin plugs which preceded them
and I don't think they were all that much smaller even though they were
fuse-less.

They were bigger.

Bill