Guter Vorschlag, zwergpinguin. Danke! :-)
Ich könnte auch gleich den User selbst kontaktieren, vielleicht kann der mir weiterhelfen.
Edit: Pat Mallet's "kleine grüne Männchen" scheint es nicht zu sein. Schade, der Titel klang vielversprechend.
Tja die Suche geht weiter...