ZIP-Code does not match international ZIP format of DHL

[RWD-PK]

Hi

first of all: you made a fantastic job on collectiong and providing all these postal-codes from so many different countries. It is an incredible relief for me in my current task of checking addresses for their quality!
With the help of your list, I can check whether the towns used match the countries and postcodes. For the postcodes, I also have a check that verifies the format of the postcodes. For this I use a list from DHL (see dhl-express-internationale-plz-formate-012017.pdf). I noticed that the postcodes from your list of Great Britain, for example, do not match the DHL list.
If you look at GB you'll find, it should (simplified) contain two to four chars than a space and ends with an other three chars.
What is your opinion? Is the DHL list wrong, can I not check correctly or do these postcodes in your list have the wrong format?

Thank you for your tremendous work
Ralf