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.