Da soll noch jemand drauskommen:

Drei Überspannungsableiter zeigen rot, einer grün. Die logische Schlussfolgerung: drei haben ausgelöst, einer nicht. Der Installateur beuhaptet: nein, keiner hat ausgelöst. Das Gerät links zeigt grün, wenn es in Ordnung ist, die anderen haben rot als Normalzustand.
Aha, interessant. Aber darüber diskutieren muss man nicht. Ein Blick in den Kasten und die Lage muss klar sein, gleiche Farbe, gleicher Zustand – Punkt aus.