[chrimp]

Jo, das war es.
Das Thema hat sich aber von selbst erledigt, weil sich kurz darauf der ganze Server verabschiedet hat.
Hatte zum Glück noch keine Arbeit investiert. ;)