saved with UTF-8 encoding