device.xsd