Pattern

[Matthias Apsel]

Hallo Achot,

[1-9]\d{4}|0[1-9]\d{3}|00[1-9]\d{2}|000[1-9]\d|0000[1-9]

funktioniert mit 12345 auf https://regex101.com/ und auch in diesem Pen.

Bis demnächst
Matthias