@funk Dann gibt es in Hamburg noch Ernie und Bert [1]
…und dann war ich neugierig ob es noch mehr gibt und bin über die (unvollständige) „Liste besonderer Ampelmänchen in Deutschland“[2] gestolpert.
…und dann war da noch der „Ampelmännchen“ Artikel mit einer detaillierteren Auflistung unter dem Punkt „Darstellungsformen“[3]
Was ein rabbithole…
[1] https://www.ndr.de/kirche/freunde-fuers-leben-ernie-und-bert-als-ampelmaennchen,erniebert-110.html
[2] https://de.wikipedia.org/wiki/Liste_besonderer_Ampelm%C3%A4nnchen_in_Deutschland