residual current-operated protective device - German English Dictionary