// invalid Utf8 (wrong file encoding) but sanitizable "geändert"
var t := "geändert";
print( t );