Checking Dutch postalcode