Looks like these are the same numbers we have received from various people throughout the process. Hard to find someone to pick up the phone there, let alone speak English :-)
So far we have learned that the CAA (INAC) sends confirmations about permit to airport authorities, not to ATC units, and we have been told that the permit for us has been granted. No one seems to know the permit number, though. We were told to send the aircraft over, that it will be no problem ;-) Will try a couple of more phone calls and try to get it in written form.
Thanks for your help.