changed xml:id scheme

separated the three parts of the xml:id with dashes and stripped away
leading zeros, which, if needed, can easily be re-added through XPath
functions