$PUMP verkaufen oder halten?