Gut, dann werd ich heute Nachmittag mal ne Umfrage zur Namenswahl machen, mal sehen was bis dahin noch für Vorschläge kommen. :)

Bisher hätten wir:

* cthulhu
* erwin
* dexter
* eval