Safety information for non-plug-in electrical devices and repair work on explosion-protected equipment