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