Tell Python that this file uses UTF8 encoding