Mapping postal codes to countries

Every now and again I had the problem of matching postal codes and countries. I often wondered if there is a system to (austrian) postal codes and finally found a table that says how to map a postal code to a country.

I encoded it into a simple PHP function – maybe it is useful :-)