Umlauts in file names

For example, in C#, using Json.NET/JsonTextWriter, that would look like:

var sb = new StringBuilder(); 
var textWriter = new JsonTextWriter(new StringWriter(sb)); 
textWriter.StringEscapeHandling = StringEscapeHandling.EscapeNonAscii; 

// Write things to text writer 
textWriter.WriteStartArray(); 
textWriter.WriteValue("Hello");

... 

var result = sb.toString().Replace("\x7f", "\\u007f");

Or, using Json.NET/JsonConvert:

var serializerSettings = new JsonSerializerSettings(); 
serializerSettings.StringEscapeHandling = StringEscapeHandling.EscapeNonAscii; 

var result = JsonConvert.SerializeObject(..., serializerSettings); 
result = result.Replace("\x7f", "\\u007f");