Trouble saving unicode text to file

["Martin v. Löwis"]

John Machin wrote:
> Martin, I can't guess the reason for this last suggestion; why should
> a Windows system use iso-8859-1 instead of cp1252?

Windows users often think that windows-1252 is the same thing as
iso-8859-1, and then exchange data in windows-1252, but declare them
as iso-8859-1 (in particular, this is common for HTML files).
iso-8859-1 is more portable than windows-1252, so it should be
preferred when the data need to be exchanged across systems.

Regards,
Martin