Comment by rurban

Actually the defect was detected by the operators, who installed it that night. They disabled the switch, but apparently this didn't reach the day shift.