1. Für die Berechnung der Rotlichtdauer ist der Zeitpunkt maßgebend und in den Urteilsgründen anzugeben, in dem der Betroffene an der Lichtzeichenanlage vorbei fährt bzw. der Zeitpunkt, in dem er die ggfls. vorgelagerte Haltelinie überfährt. 2. Soll von Beobachtungen von Zeugen aus dem Querverkehr auf einen qualifizierten Rotlichtverstoß geschlossen werden, so ist auf den automatisierten Programmablauf der Lichtzeichenanlage Bezug zu nehmen und aus dem Schaltprogramm der ordnungsgemäß funktionierenden Lichtzeichenanlage auf den Rotlichtverstoß zu schließen. 3. Die Feststellung, die Lichtzeichenanlage habe aus der Sicht des Betroffenen länger als eine Sekunde Rot gezeigt, kann ohne Einbeziehung und Verwertung des automatisierten Programmablaufs der Lichtzeichenanlage nicht darauf gestützt werden, dass zum Zeitpunkt des Überquerens der Kreuzung durch den Betroffenen die Fußgänger bereits Grün hatten.