In article ,
williamwright wrote:
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

They are bigger. Still used in theatres.
^^^

--
from KT24 in Surrey, England
"I'd rather die of exhaustion than die of boredom" Thomas Carlyle