add label for "Hauptquelle" on `<witness>`

currently, `<witness>` features the `@n` attribute which is a mere redundant encoding of the position of the `<witness>` element in the `<listWit>`. Hence, we want to get rid of this enumeration and mark the (possibly multiple) "Hauptquelle" with the `@n` attribute.