Residual Current Device Definition