Wie lange dauert es, bis $PIPPIN zu $1 wird?