The Rise and Fall of the ‘Electronic’: Strand Electric’sThyratron-based Stage Lighting Dimmer