$PIPPIN ist so lange gestiegen, endlich fällt es, sollte man jetzt ausliefern?