Hi Florian,
Yes, I still have problems. I don't know, which is the problematic
area, which you have mentioned.
First, the "simple post-increment" algorithm, which you have given,
seems to be wrong. This algorithm doesn't consider that a list-item
can have an explicit start value. It also doesn't consider, that the
sub list, which contains paragraphs P2 and P3, can have another list
style. Think of the following ODF1.0/1.1