Ist das endlich das Ende von $PIPPIN?