notering på Hamburgs börs.