$PIPPIN Mit diesem Coin handelt wahrscheinlich niemand mehr, oder?