Electric light dimmers; electric light regulators being dimmers; light-emitting diodes (LEDs); lighting ballasts