And, finally, the patch. I would have used the function
`org-export-html-close-lists-maybe' but that didn't work, so I wrote
similar code just in place.

Carsten: If it makes things easier for you, I could apply the change to
the master branch and send an appropriate patch.