xml:id im <div> Element [was #28138]

Korrespondierend zum Element des sourceDocs muss die xml:id im div angepasst werden.