$PUMP Ich habe nicht auf den Ticker-Namen geachtet. Pump, oh je, Opa hat schon wieder den falschen erwischt. Was soll ich nur machen, mein Enkel? Hilf Opa bitte, diesen Token zu shorten.