Harald Hoffding är ett värk , somnyligen