Was sollte das Tickersymbol sein?