A normal form à la Moser for diffeomorphisms and a generalization of Rüssmann’s translated curve theorem to higher dimensions