The Dutch have differently formatted postal codes