pers notering på Amsterdams börs.