As a side note, it's 2026, and there's still German software that thinks our postal codes are integers. Mine has a leading zero, and it hasn't been too long since I've seen (German-built!) software that silently truncates the 0 and then complains that it's just 4 digits and should be 5.
This happens in the US too, and even if you're wise enough to treat postal codes as strings (which they are) and not integers, someone is going to paste the data into Excel which will promptly blow things up on you anyway.
