sogar schon lange, nur die Lösung ist nicht so einfach. Das Entfernen der führenden Null ist ein Fehler (ich wusste als ich das verbrochen habe nicht, dass es in Deutschland Postleitzahlen mit führender Null gibt). Das wäre auch noch leicht zu ändern, nur nützt das den Mitglieder, die nicht aus Deutschland stammen nichts. Daher ist die Lösung nach hinten verschoben, damit es dann direkt eine Lösung für alle gibt.
mfg
rwx