[RedBasti]

Mag ja alles sein aber der Name Eradicator hat sich inzwischen eingebrägt und ich denke nicht, dass es sinnig ist, sich nun eine Extrawurst zu braten.

Auch die Devs sprachen immer nur vom Eradicator.