@192.0.2.255 Hey, ich habe gerade eben (über 14 Jahre später) deinen Vorschlag eingefügt. Ich denke er ist auf jeden fall bekannt genug, schließlich hat ein eigenen Wikipedia Artikel -- Daniel Maak 14:41, 9. Nov. 2023 (CET)