Closes #74: Read the XML header to choose the right encoding