yli wrote:
The remarkable thing about Luxemburg is that there are a lot of postal codes, but still some postal codes consist of villages of different municipalities (and in the worst case - 7634 of all three Luxemburgian distrikt

).
That's exactly what I've encountered. I've already used xxxx;<Name> in multiple instances.
So, in such cases the location name has to be used in combination with the postal code. Also not simple in Luxemburg, where French and Luxemburgian (Lëtzebuergs) are the official languages - but German is also very common. So, to put it in other words - the locations have to be named in three languages.
Wow, you're a purist!

If I were to complete it, it would be French/default names only (from my limited sources it seems like some muncipalities have a Lëtzebuergesh name by default (like Préizerdaul in Redange and Kiischpelt in Wiltz)) but the rest would just be French.
Also the location name in Lëtzebuergesh (in BaliBennies statistics) had my jaw drop. Good work!
....and an other nice example is postal code 8831
Randschelt (Rindschleiden),
déi klengsten Uertschaft aus dem Land. Awunnerzuel:1 (smallest village in Luxemburg - population 1)
I don't know if that's named in my main source, which is probably the same as yours (mentioned somewhere on the EBT forum, a list somebody posted on another forum)

I also used EPT.lu for some doubtful cases.
I already ordered all postal codes from one source (the same I mentioned in the previous paragraph) according to village, and grouped by muncipality. For the "muncipalities of Luxembourg" to work, villages of 8 of the 12 Cantons only need to be renamed to the names of the muncipalities, and some doubles need to be sorted out (could be sone fairly quickly with a spreadsheet program with "Sort data" capacity and EPT.lu). If you're interested in a file, let me know.