Herrjeh, ich will mich hier nicht streiten. 😉🙂
Mir persönlich ist es schnuppe, ob der Name gemappt ist oder nicht. Ich kenne den Namen noch von früher, als ich mal in der Nähe gearbeitet hatte. Mag sein, dass er nicht offiziell ist.
Hab ja nur meine Meinung dazu geschrieben. 