[lisp-hh] Ende der Sommerpause :)