change encoding and ﬁileformat