$PUMP wird wie $DEXE abstürzen; es hat bereits genug gepumpt