Now I understand why some people (me included) have not yet received their tokens. The payout is in order: from much to few.
Now it's the turn of the buyers, who have about 630 tokens. I have about 450 and therefore have to wait a little longer.
You can check the withdrawal process here: https://etherscan.io/token/0x80a7e048f37a50500351c204cb407766fa3bae7f