Ernst Marchand restitution correspondence