first example of a TEI file