[lisp-hh] 23.02. (was Re: heute stammtisch?)