Klasse, habe ich sofort als Lesezeichen gesetzt, auch ich habe irgendwie kein Gefühl für die regEx Regeln.
Übrigens: D-00000 wäre dort zulässig. Ich denke, die Tausender-Stelle muss größer sein als 0.
Und mal über die Grenzen geschaut: Andere Länder haben in der Postleit-"Zahl" auch Buchstaben und nennen das dann "Postcode". Finde ich viel treffender. Auch in D gab es schon "Zahlen" mit Buchstaben, kurz nach der Wende 1990, um West und Ost zu unterscheiden.