PHP interface to the postal code database of Norway