date_to_xmlschema does some weird things with timezones, but whatever it's not important.