Was sorgte dafür, dass in Hamburg im Juni 2023 mitten im morgendlichen Berufsverkehr fast 1.000 Ampeln ausfielen?