Is "RCD" British for what we call "GFI" (Ground Fault Interrupt) in the US?