fixed German encoding for German files, but not for English files yet